Explore projects
-
Updated
-
l1p5 / l1p5-vuejs
GNU General Public License v3.0 or laterUpdated -
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
GALARRAGA DEL PRADO Luis / HIPAR
BSD 3-Clause "New" or "Revised" LicenseHierarchical Pattern-aided Regression
Updated -
Gathers technical materials to follow on what has been learnt and what is to be learnt
Updated -
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 -
dynres / dyn-procs / prrte
BSD 3-Clause Open MPI variantUpdated -
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated -
-
-
Updated
-