Explore projects
-
Updated
-
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
-
SwissTwins / icon
BSD 3-Clause "New" or "Revised" LicenseUpdated -
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
-
Updated
-
LARA / Stainless verifier
Apache License 2.0Program verifier for Scala. Documentation, sources on GitHub
Updated -
Préparation du modèle (template) Ubuntu destiné à VDI VMware Horizon.
Updated -
Updated
-
Updated
-
SwissTwins / vc-modules-gcp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
SISB PUBLIC / RDM / zenodo-export-template
MIT No AttributionUpdated