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 -
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 -
CORSE / IOLB
CeCILL Free Software License Agreement v2.1IOLB tool that computes data movement complexity of an affine program
Updated