Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
dtkCore provides fundamental tools to build modular platform.
-
FELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/
-
Land Use Cover Change Models in Python
-
Adaptative Segmentation and Tracking of Embryonic Cells (developer version, python code only)
-
version 3 implementation of the Fed-BioMed project
-
-
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
-
Fast Methods for Randomized numerical linear algebra. Provides a set of tools to perform Randomized NLA computations in a fast and efficient way, e.g., using fast multipole matrix multiplication, along with various application-dependent addons.
-
MRI segmentation using deep learning
-
Slides for a general formation about CI/CD in Inria context
-
git repository for arthur gontier's thesis
-
Time-Accurate Network Simulation Interconnecting Vms
-
-
An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
-
Itauto: an Extensible Intuitionistic SAT Solver
-
A library to build experimental frameworks on multiple platforms
Reproducible... Vagrant Grid'5000+ 5 more -
Dense linear algebra subroutines for heterogeneous and distributed architectures
-
Separation Logic with Characteristic Formulae Entirely within Coq