Explore projects
-
coccinelle / CoccinelleForRust
GNU General Public License v2.0 or laterUpdated -
-
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
RAULIN Vincent / BAGUETTE-VERSE
GNU Affero General Public License v3.0Updated -
Théophile BASTIAN / staticdeps
GNU General Public License v3.0 or laterUpdated -
Why3 / 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 -
Updated
-
CORSE / uiCA Staticdeps
GNU Affero General Public License v3.0Updated -
Dense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
Updated
-
steep / TransKey
GNU General Public License v3.0 or laterUpdated -
Data repository of patients used in tests and simulation
Updated -
BERNARD Samuel / Simuscale
GNU Affero General Public License v3.0Multiscale simulation of cell populations/Simulations multi-échelles de populations cellulaires
Updated -
starpu / starpu
GNU Lesser General Public License v2.1 onlyA Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated -
potential energy and gradients of potential energy of a set of springs
Updated -
DERUMIGNY Nicolas / palmed
GNU General Public License v3.0 or laterGUS feet: generation of a performance model from a pipedream-compatible ISA
Updated -
Updated
-
-
Updated