Explore projects
-
POTTIER Francois / oma
GNU Library General Public License v2 onlyUpdated -
salto / salto-IL
GNU Lesser General Public License v2.1 onlyUpdated -
mpfi / MPFI
GNU General Public License v3.0 onlyMPFI is a library for arbitrary precision interval arithmetic; it is written in C and is based on MPFR.
Updated -
inria-ci / custom-runner
GNU Affero General Public License v3.0Updated -
Théophile BASTIAN / staticdeps
GNU General Public License v3.0 or laterUpdated -
-
BERNARD Samuel / Simuscale
GNU Affero General Public License v3.0Multiscale simulation of cell populations/Simulations multi-échelles de populations cellulaires
Updated -
skeletons / Necro Ocaml Generator
GNU General Public License v3.0 onlyUpdated -
Updated
-
SHENGHAO Yuan / CertrBPF-JIT
GNU General Public License v2.0 or laterUpdated -
-
-
dynres / dyn-procs / docker-cluster
MIT LicenseUpdated -
Gamble / pwpoly
OtherA C library for multipoint evaluation and root finding of well conditioned polynomials.
Updated -
cedar / hal-dynamic-graph
MIT LicenseUpdated -
tansiv / Linux TANSIVTx
OtherUpdated -
Armaël Guéneau / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Builds multi-language compilation packages and related documentation
Updated