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

Decoder for the DSD TP 8/9 led array

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

Demonstration project for SCDDS

Collaborative Web editor in Meteor+React, built on top of Remirror and using Meteor's DDP as the transport layer