Explore projects

Asynchronous version of the VEGA radiotelescope APM

CHEASE fixed-boundary axisymmetric tokamak equilibrium code

EPFL CS550 - Formal Verification

Solver for higher-order functional programs

Proof assistant based on first-order logic and set theory

Program verifier for Scala. Documentation, sources on GitHub

Scientific programming for Engineers - MATH 611 @EPFL

Autograding infrastructure for Moodle. An EPFL-DRIL funded project.

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