Explore projects
-
Autograding infrastructure for Moodle. An EPFL-DRIL funded project.
Updated -
Updated
-
SISB PUBLIC / RDM / Datacite Metadata Generator
MIT LicenseEditeur de métadonnées XML Datacite pour ACOUA
Updated -
CS-214 / ul / webapp-lib
OtherUpdated -
Pierrick Paul Louis Giroud-Garampon / FENNECS
GNU Affero General Public License v3.02D PIC code used at SPC for simulation of trapped electron clouds in Penning like traps. General electrode geometries are simulated using web-splines method. Poisson solver is based on finite element methods. Electron collisions against a uniform background gas are simulated with a Monte Carlo approach.
Updated -
-
Updated
-
LARA / Stainless verifier
Apache License 2.0Program verifier for Scala. Documentation, sources on GitHub
Updated -
Pierrick Paul Louis Giroud-Garampon / FENNECS Lite
GNU Affero General Public License v3.0Fluid version of FENNECS.
Updated -
Updated
-
Updated
-
Updated