Explore projects
-
sed-nge / fidgi
OtherFind Inventors and Discovery Game by Inria Unity "Game" in VR (oculus) for homo numericus exibition
Updated -
Metabolic network library, using directed hypergraphs as a representation, in Rust.
Updated -
Updated
-
solverstack / Chameleon
OtherDense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
-
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
Updated
-
coccinelle / coccinelle
GNU General Public License v2.0 or laterCoccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Updated -
POTTIER Francois / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
l1p5 / l1p5-vuejs
GNU General Public License v3.0 or laterUpdated -
Arsene-PEPR / llvm-fence-spec
Apache License 2.0Updated -
melissa / Melissa
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Pallas / Pallas
BSD 3-Clause "New" or "Revised" LicensePallas is a scalable trace format for HPC applications.
Updated -
Serpico / atlas
GNU General Public License v3.0 or laterUpdated -
FELiScE / FELiScE
OtherFELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/
Updated -
Updated
-
-
ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.
Updated -
math-comp / docker-mathcomp
BSD 3-Clause "New" or "Revised" LicenseGitLab mirror of https://github.com/math-comp/docker-mathcomp
UpdatedUpdated