Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

A computer algebra system written in pure Python

Model-based design and verification for robotics.

Produce a simulate-able SDF of an arbitrary mesh with convex decomposition.

URDF and Meshes for the Agility Robotics Digit Robot