Recursive Neural Networks for PyTorch

Interactive Theorem Proving based on Inox

Cross-platform bindings for OpenGL ES

Solver for higher-order functional programs, used by Stainless

Verification framework and tool for higher-order Scala programs