Explore projects
-
salto / salto-IL
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
-
Présentation principale
Updated -
Updated
-
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated -
skeletons / Necro Debugger Generator
GNU General Public License v3.0 onlyA generator of debugger for the Skel language for semantics description
Updated -
Updated
-
dynres / applications / Dyn_XBraid
GNU General Public License v3.0 or laterUpdated -
Romain Garbage / guix
GNU General Public License v3.0 onlyUpdated -
dynres / applications / p4est_dyn
GNU General Public License v3.0 or laterUpdated -
Containerized documentation of customer environments
Updated -
Updated
-
scotch / scotch
OtherPackage for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
Updated