Explore projects

Extensions of GNU Guix for high-performance computing.

Extensions of GNU Guix for high-performance computing.

Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.

A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.

Extensions of GNU Guix for high-performance computing.

https://learninglab.gitlabpages.inria.fr/serious-game/smartphone

Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.

GNU Guix packages of non-free HPC software, or free software depending on non-free software.

TimageTK (Tissue Image Toolkit) is a Python package dedicated to image processing of multicellular architectures, such as plants or animals. It is intended for biologists, modellers and computer scientists.

Extensions of GNU Guix for high-performance computing.

Extensions of GNU Guix for high-performance computing.