Full name Description Actions
Semi-Lagrangian Library SeLaLib is an API for components of basic numerical implementation of a code for kinetic simulation of plasma turbulence in Tok [...]
Visual Servoing Platform ViSP continuous integration
Fit Equipex - Iot-LAB Iot-LAB dev
Gysela Gysela5D is a 5D GYrokinetic, SEmi-LAgrangian code for the simulation of magnetic confined fusion plasmas
axel Axel is an algebraic geometric modeling platform
GeCoS - Generic compiler suite http://gecos.gforge.inria.fr/
replication-benchmarker A framework to benchmark different optimistic replication mechanisms.
OCaml Testing OCaml under Windows, BSD, Linux, MacOSX.
MIXMOD Mixture Models for Clustering and Discriminant Analysis C++ software suite for high performance clustering and discriminant analysis based on mixture models. The three major component [...]
Eigen Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms.
K3ActionLanguage K3 action language is the evolution of Kermeta action language.
CosyVerif CosyVerif is a software environment whose goal is the formal specification and verification of dynamic systems.

[...]
Matrices Over Runtime Systems @ Exascale http://icl.cs.utk.edu/projectsdev/morse/software/index.html
KisSplice KisSplice is a piece of software that enables the analysis of RNA-seq data with or without a reference genome. It is an exact l [...]
coq Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms [...]
DiverSE Commons Libraries and tools for the DiverSE INRIA team that are reusable accross projects
Chevalier ConPaaS
Chevalier ConPaaS
pylint/pep8 unit and mocked tests
also functional testing with VM deploying containers
Django The DJANGO code aims at investigating Magnetohydrodynamic (MHD) instabilities in a Tokamak Plasma.
Alecsia Alecsia (Aide à L'Evaluation et à la Correction SemI-Automatisée)