Explore projects

EPFL CS550 - Formal Verification

Scientific programming for Engineers - MATH 611 @EPFL

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

SCDDS (Simulink-based Control Design and Deployment Suite)

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

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

Decoder for the DSD TP 8/9 led array

Demonstration project for SCDDS

CHEASE fixed-boundary axisymmetric tokamak equilibrium code

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