Inria does both
theoretical and applied research in computer science. In the process, it has produced many widely used programs, such as: •
Bigloo, a
Scheme implementation •
CADP, a tool box for the verification of asynchronous
concurrent systems •
Caml, a language from the
ML family •
Caml Light and
OCaml implementations •
Chorus, microkernel-based distributed operating system •
CompCert, verified C compiler for PowerPC, ARM and x86_32 •
Contrail •
CYCLADES, pioneered the use of
datagrams,
functional layering, and the
end-to-end strategy, concepts adopted in
TCP/IP and the
Internet. •
Eigen (C++ library) •
Esterel, a
programming language for State Automata • Geneauto — code-generation from model • Graphite, a research platform for computer graphics, 3D modeling and numerical geometry • Gudhi — A
C++ library with
Python interface for
computational topology and
topological data analysis •
Le Lisp, a portable Lisp implementation • medInria, a medical image processing software, popularly used for MRI images. •
GNU MPFR, an arbitrary-precision floating-point library •
OpenViBE, a
software platform dedicated to designing, testing and using
brain–computer interfaces. •
Pharo, an open-source Smalltalk derived from
Squeak . •
Rocq, a
proof assistant •
scikit-learn, a machine learning software package •
Scilab, a numerical computation software package •
SimGrid •
SmartEiffel, a free Eiffel compiler •
SOFA, an open source framework for multi-physics simulation with an emphasis on medical simulation. •
TOM, a pattern matching language • ViSP, an open source visual servoing platform library •
XtreemFS == History ==