Explore projects
-
SPC / SCDDS / SCDDS-core
GNU Lesser General Public License v3.0 or laterSCDDS (Simulink-based Control Design and Deployment Suite). https://scdds-core.readthedocs.io/en/latest/
UpdatedUpdated -
Updated
-
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 -
LARA / Stainless verifier
Apache License 2.0Program verifier for Scala. Documentation, sources on GitHub
Updated -
LARA / bolts
Apache License 2.0Updated -
Damien Maier / stainless-CT
Apache License 2.0Updated -
Updated
-
Mathis Benjamin Manuel Randl / catapult
MIT LicenseUpdated -
Christophe Hideki Michaud-Lavoie / choetfl
Apache License 2.0Applying the ETFL framework to the CHO GEM
Updated -
Updated
-
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 -
Updated
-
Updated
-
Updated
-
SCITAS / public / Sausage
GNU General Public License v3.0 or laterUpdated