Logiciels

Le Loria développe et maintient des logiciels à un niveau de TRL avancé. Depuis 2016, le laboratoire a déposé 52 logiciels et 8 brevets. Voici une liste non exhaustive des logiciels produits par le Loria. Vous trouverez une vue plus détaillée des productions sur les pages de chaque équipe.
Équipe Nom du logiciel Description
ABC M-SVM Open source software package dedicated to the family of multi-class support vector machines
ADAGIO SIGffRid The prediction of sigma factor binding sites in prokariotic genomes using comparative genomic and statistics
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
CARAMBA Belenios Système de vote libre et véritable
GAMBLE GEOMETRY Factory Commercialisation du package Cgal.
GAMBLE HEFROOTS Algorithme pour accélerer les temps de calculs.
PESTO Cl-Atse Constraint Logic based Attack Searcher for cryptographic protocols and services
PESTO Belenios Système de vote libre et véritable
PESTO Tamarin Recherche de failles dans les protocoles
MFX IceSL Advanced modeling and slicing for 3 D printing
MOSEL-VERIDIS 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.
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
OPTIMIST MND Logiciel developpé avec le Laboratoire Réactions et Génie des Procédés
MULTISPEECH WinSnoori Speech analysis software
MULTISPEECH Asteroid toolkit Librairie open-source pour la séparation des sources audio
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 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
SIMBIOT MECSYCO Logiciel de co-simulation en partenariat avec EDF pour la gestion de l’energie.
BISCUIT GINNet/DynNet Decision making platform
CAPSID EROS-DOCK Nouvel algorithme de docking rigide pour des paires de protéines, par une exploration systématique de l’espace des rotations 3D
BIRD SofoS Plateforme pair-à-pair permettant le filtrage collaboratif distribué temps réel

Logo d'Inria