GBOML: Graph-Based Optimization Modeling Language
Finite Element Analysis of bones loaded by muscle forces
The evolving specification for Alethe, a flexible format for SMT proofs.
