|ViSP continuous integration|
|Gysela5D is a 5D GYrokinetic, SEmi-LAgrangian code for the simulation of magnetic confined fusion plasmas|
|Axel is an algebraic geometric modeling platform|
|A framework to benchmark different optimistic replication mechanisms.|
|Testing OCaml under Windows, BSD, Linux, MacOSX.|
|C++ software suite for high performance clustering and discriminant analysis based on mixture models. The three major component [...]|
|Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms.|
|K3 action language is the evolution of Kermeta action language.|
|CosyVerif is a software environment whose goal is the formal specification and verification of dynamic systems.
|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 is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms [...]|
|Libraries and tools for the DiverSE INRIA team that are reusable accross projects|
pylint/pep8 unit and mocked tests
also functional testing with VM deploying containers
|The DJANGO code aims at investigating Magnetohydrodynamic (MHD) instabilities in a Tokamak Plasma.|
|Alecsia (Aide à L'Evaluation et à la Correction SemI-Automatisée)|
|InriaForge runs a modified version of FusionForge.
This project will run the FusionForge's fusionforge-60-deb-debia [...]
Are you sure you want to delete this project?