Voici quelques uns de nos logiciels. Retrouvez la liste des logiciels sur les sites web des équipes.

Équipe Nom du logiciels Description
ABC M-SVM Open source software package dedicated to the family of multi-class support vector machines
ALICE Graphite Research platform for computer graphics, 3D modeling and numerical geometry.
CARAMBA GNU MPFR/MPC Computing with arbitrary precision floating-point numbers, together with well-defined semantics
PESTO Cl-Atse Constraint Logic based Attack Searcher for cryptographic protocols and services
MOSEL VeriT solver Satisfiability Modulo Theories (SMT) solver
PAREO Tom Language designed to manipulate tree structures and XML documents. Its semantics is based on equational matching, rewrite rules, and strategies.
ALGORILLE SimGrid Scientific instrument to the evaluation of algorithmic solutions for large-scale distributed experiments through simulation
MADYNES KIF Multi-protocol fuzzing framework
COAST Bonita Flexible Workflow management system
ORPAILLEUR Taaable System whose objectives are to retrieve and then to adapt whenever needed textual cooking recipe
MULTISPEECH WinSnoori Speech analysis software
SEMAGRAMME LEOPAR Parser for natural languages which is based  on the formalism of Interaction Grammars. It uses a parsing principle, called “electrostatic parsing” which consists in neutralizing opposite polarities
SYNALP (ex TALARIS) GENI Sentence generator implemented in Haskell. GENI is compatible with both a grammar for french (SEMTAG) and for English (SEMXTAG), both grammars being produced using the Meta-Grammar Compiler
BISCUIT GINNet/DynNet Decision making platform
KIWI SofoS Plateforme pair-à-pair permettant le filtrage collaboratif distribué temps réel
MAIA ISeeML Integrated Smooth, Efficient and Esay-to-use Motion Library. It offers a simple way to compute continuous-curvature paths for car-like robots, using line segments, circula arcs and pieces of clothoids

En ce moment

Logo du CNRS
Logo Inria
Logo Université de Lorraine