Explore projects
-
UpdatedUpdated
-
HySoP (Hybrid Simulation with Particles) is a library dedicated to high performance direct numerical simulation of fluid related problems based on semi-lagrangian particle methods.
Updated -
-
Updated
-
Updated
-
Updated
-
Verimag's fork of CompCert
Updated -
E-GRAFS is a Nitrogen flow model aiming at building social metabolism of agriculture territory using classic statistic
Updated -
Updated
-
Reflectivity method for fast generation of seismograms in the acoustic approximation
Updated -
Implements sampling methods to some basic benchmarks, with a focus on FWI
Updated -
Storing custom guix manifests to use with guix pack command
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated