Explore projects
-
CORSE / easytracker
Affero General Public License v1.0Updated -
REINKE Chris / Experiment Utils
GNU General Public License v3.0 or laterVarious tools to run scientific computer experiments.
Topics: pythonUpdated -
SIMONIN Matthieu / enos-kubernetes
GNU General Public License v3.0 onlyUpdated -
Flocq / flocq
OtherFlocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Updated -
Collection of CMake modules that can be shared among projects
Updated -
BAUCHER Achille / pydynamo
The UnlicenseUpdated -
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 -
inria-ci / custom-runner
GNU Affero General Public License v3.0Updated -
Project moved to https://gitlab.com/ed-matisse/latex-template.
Former repository for the PhD thesis LaTeX template for the 13 doctoral schools of Collège doctoral de Bretagne. Project initiated by former PhD students of the MATISSE doctoral school (formerly MathSTIC) in collaboration with the doctoral school.
Archived 4Updated -
learninglab / serious-game / PhoneImpact
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
-
UpdatedUpdated
-
-
RobotLearn / RobotLearn Cluster Monitor
GNU Affero General Public License v3.0Updated -
skeletons / Necro Library
GNU General Public License v3.0 onlyPrimary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
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 -
Phylophile / Treerecs
GNU Affero General Public License v3.0Treerecs is an open-source (species- and gene-) tree reconciliation software.
It can correct, rearrange and (re-)root gene trees with regard to a given species tree.
Please visit https://project.inria.fr/treerecs/ for more about Treerecs
Updated -
Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)
Topics: Mooc resourcesUpdated -
vidjil / vidjil
GNU General Public License v3.0 onlyAn open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Updated -
Vue d'ensemble des codes sources des composants de la plateforme StopCovid (version 1.0 à 1.X sur iOS et 1.Y sur Android). La V2.0 (et ses évolutions futures) est renommée TousAntiCovid. (voir README.md)
Updated