Explore projects

Storing custom guix packages

Verimag's fork of CompCert

E-GRAFS is a Nitrogen flow model aiming at building social metabolism of agriculture territory using classic statistic

Reflectivity method for fast generation of seismograms in the acoustic approximation

Implements sampling methods to some basic benchmarks, with a focus on FWI

Storing custom guix manifests to use with guix pack command

Neural Network Adequate hardWare Architectures for Quantization