A previous simulator I had built for Super Mega Microbot was based on the “DART” robotics toolkit. It is a C++ library with python bindings that includes kinematics, dynamics, and graphical rendering capabilities under a BSD license. I wanted to use some of its dynamics capabilities for future gait work on the quad A0, and eventually re-incorporate its simulation capabilities, so integrated a subset of it into mjbots/bazel_deps.