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

ÉquipeNom du logicielsDescription
ABCM-SVMOpen source software package dedicated to the family of multi-class support vector machines
ALICEGraphiteResearch platform for computer graphics, 3D modeling and numerical geometry.
CARAMBAGNU MPFR/MPCComputing with arbitrary precision floating-point numbers, together with well-defined semantics
PESTOCl-AtseConstraint Logic based Attack Searcher for cryptographic protocols and services
MOSELVeriT solverSatisfiability Modulo Theories (SMT) solver
PAREOTomLanguage designed to manipulate tree structures and XML documents. Its semantics is based on equational matching, rewrite rules, and strategies.
ALGORILLESimGridScientific instrument to the evaluation of algorithmic solutions for large-scale distributed experiments through simulation
MADYNESKIFMulti-protocol fuzzing framework
COASTBonitaFlexible Workflow management system
ORPAILLEURTaaableSystem whose objectives are to retrieve and then to adapt whenever needed textual cooking recipe
MULTISPEECHWinSnooriSpeech analysis software
SEMAGRAMMELEOPARParser 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)GENISentence 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
BISCUITGINNet/DynNetDecision making platform
KIWISofoSPlateforme pair-à-pair permettant le filtrage collaboratif distribué temps réel
MAIAISeeMLIntegrated 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

Logo du CNRS

Logo d'Inria

Logo Université de Lorraine