classical-mechanics
Domain-specific language and compiler for physical systems. Write a Lagrangian, get a simulation. Thirteen code generation backends, built on SymPy.