Explore projects

Uncertainty Analysis Examples from Goffin's thesis

The evolving specification for Alethe, a flexible format for SMT proofs.

Mirrored from https://gitlab.onelab.info/gmsh/gmsh.git

Finite Element Analysis of bones loaded by muscle forces

Stable, open source releases of BAMHBI (BiogeochemicAl Model for Hypoxic and Benthic Influenced areas).