Explore projects

Candidature Apprentis (aka CanAp)

Verification framework and tool for higher-order Scala programs

EPFL CS550 - Formal Verification

SCDDS (Simulink-based Control Design and Deployment Suite)

Demonstration project for SCDDS

homeworks for SP4E course

Scientific programming for Engineers - MATH 611 @EPFL

Repository for the EPFL class MATH-458, Programming Concepts in Scientific Computing

The Gyrokinetic Advanced Collisions Moment solver (Gyacomo or GYAC) is a nonlinear local delta-f gyrokinetic code evolving strongly magnetized plasma turbulence. It is able to use advanced collision operators up to the linear GK Landau collision model. Wiki: https://gitlab.epfl.ch/ahoffman/gyacomo/-/wikis/home