I built this to learn bipedal locomotion math (IK, ZMP) from first principles rather than using a black-box library. It runs at ~1kHz in PyBullet using optimized NumPy. Currently handling gait generation in sim; working on C++ bindings for hardware next. Feedback on the solver implementation is welcome!