Explore projects

A collection of tools for writing technical documents that mix Coq code and prose.

Catkin build message packages utilized by quad_stack_rosbuild

Dynamic ODE simulator of multiple DISAL drones

Spack repository containing stub implementations of third party packages that are installed as externals

Solver for higher-order functional programs

Tools to enforce input and output argument checks in C MEX-files for MATLAB

Python script that automatically creates bibliographic records, holdings, and items in Alma from MARCXML notices exported from Infoscience (EPFL).

CHEASE fixed-boundary axisymmetric tokamak equilibrium code