The implementation of robotic applications encounters a number of challenges that simple controllers are unsuited to properly solve. For instance, robotic systems are becoming increasingly complex and applications must satisfy constraints inherent to the system or to the task itself, while taking into account several, sometimes conflicting, performance objectives. These challenges are explicitly taken into account by the advanced optimal control technique called model predictive control (MPC). In MPC, models are used to predict the system behavior within a defined prediction horizon, and at each control step a constrained optimization problem is solved in real time. However, wide adoption of MPC in complex robotic applications is impeded by two issues. First, low-level drivers in robotic systems require control input updates at high frequency, typically in the order of 1 kHz, which is a control frequency that is difficult to meet for MPC due to its inherent computational complexity. Second, MPC specification, prototyping and deployment is no easy task since appropriate tools that reduce the high engineering effort associated to it are not widely available. This work addresses both issues, reducing the computational complexity of MPC implementations for robotic applications and reducing the engineering time required for its specification, prototyping and deployment. It covers (i) the reduction of the computational complexity of general mathematical expressions, (ii) the use of efficient formulations of robot dynamics and their analytical derivatives, (iii) the mixed and transparent use of such analytical derivatives and algorithmic differentiation within an optimization framework, (iv) the efficient evaluation of computationally expensive functions in nonlinear programs by means of task- and data-level parallelization, and (v) the efficient implementation of numerical optimization algorithms that accelerate the solution of the underlying optimal control problem. Moreover, it consolidates these advances within an easy-to-use, open-source framework called Tasho, which defines a direct workflow from problem definition to robot-based solution deployment. These developments help bridge the gap between advanced optimization-based controllers, like MPC, and complex robotic applications.