Logiciels développés par l'Enseignement Supérieur et la Recherche utiles aux développeurs

Cette liste présente les logiciels développés dans un laboratoire ou une université et indexés avec le mot-clé 'développeur'. Les logiciels sont listés selon la date de première publication de la fiche sur PLUME, de la plus récente à la plus ancienne. En cliquant sur 'Logiciel' (titre de colonne) vous pouvez changer l'ordre d'affichage.

Logicielicone de tri Description Fonctionnalités Origine (laboratoire/service)
Algorithmique du texte

implémentation d'algorithmes de traitement du texte

traitement de texte LIGM, LITIS
Antelink

traçabilité de contenus open source

BeC3

création d'applications Internet des Objets (IdO)

environnement logiciel, langage informatique, service web, travail collaboratif, workflow LIGM
CimulA

analyse de perturbations sur automates cellulaires

LIP
CreaTools

cadre de développement pour logiciels de traitement d'images médicales

environnement logiciel, traitement d'images CREATIS
D-LITe

pour le déployement d'applications sous forme de logique distribuée sur réseau de capteurs

LIGM
Ed'Nimbus

filtre de séquences ADN

traitement de données LIGM
EDNA

environnement pour réaliser des programmes d'analyses de données en ligne

calcul distribué, traitement de données EMBL, ESRF, SOLEIL Synchrotron
eltclsh

interpreteur de commandes interactif pour le langage TCL

langage informatique LAAS
ESA - PetriNet

génération de scénarios redoutés

LAAS
G'MIC

outil de manipulation d'images génériques

langage informatique, multimedia, traitement d'images, traitement de données, visualisation, workflow GREYC
Genom

intégration de modules fonctionnels pour les systèmes embarqués

environnement logiciel LAAS
Givaro

C++ library for computer algebra: exact arithmetic and data structures

biblio. informatique, calcul distribué, chiffrement, formation LIG, LIP, LIRMM, LJK
GMTE

moteur de matching et transformation de graphes

modélisation LAAS
GNU MPFR

bibliothèque de calcul à virgule flottante en précision arbitraire avec arrondi correct

biblio. informatique LIP, LORIA
GNU Prolog

compilateur natif pour Prolog avec résolveur de contraintes sur les Domaines Finis

compilateur, langage informatique CRI
greffon-pdf-piwik

greffon d'export de données au format PDF pour Piwik

journalisation, statistiques, surveillance INIST
Hoop

plate-forme pour la gestion et l'exploitation distribuée de ressources linguistiques

base de données LIGM
IPv6 CARE

Outil Linux d'aide à la migration des programmes vers IPv6

outil système, tests UREC
IRPF90

un préprocesseur qui facilite le développement de gros codes en Fortran

compilateur, langage informatique LCPQ
jaseto

JAva SErialisation TOolkit

langage informatique INRIA Sophia
JMMF

multiméthodes en Java

LIGM
Kostka

nombres de Kostka et coefficients de Littlewood-Richardson

Univ Paris 7
LeJosRT

extension de leJOS mettant en œuvre la spécification temps réel pour Java

outil système, système d'exploitation LIGM
libchop

bibliothèque C pour le stockage réparti et la sauvegarde de données

archivage, biblio. informatique, sauvegarde LAAS
LibOdsStream

lecture et écriture en flux de fichiers au format Open Document Spreadsheet

tableur Génétique Végétale
Lothaire package

implémentation des algorithmes de la combinatoire des mots

LIGM
MEDL

environnement de développement pour méta-événements

environnement logiciel LIGM
Minbrkpts

tests des performances d'une heuristique permettant la linéarisation d'ordres partiels

LIGM
MLV

bibliothèque multimedia simplifiée

biblio. informatique, formation, langage informatique, multimedia LIGM
Monolix

analyse de modèle non-linéaire à effets mixtes

modélisation, statistiques INRIA Saclay, Labo Maths Orsay, NeuroSpin
Morse

simulation pour la robotique

environnement logiciel, visualisation LAAS, ONERA
OAR

gestionnaire de ressources pour grandes grappes de calcul

calcul distribué LIG
ocamlmath

calcul mathématique en OCaml

biblio. informatique IREM Pays de la Loire, Labo Maths Jean Leray
OpenFLUID

Plate-forme de modélisation du fonctionnement intégré du paysage

environnement logiciel, modélisation LISAH
OpenPRS

langage de raisonnement procédural

editeur de texte, environnement logiciel, langage informatique LAAS
Orientation Library

collection de routines pour la manipulation de rotations / orientations

LGF
Ork

API orientée objet en C++ au dessus de OpenGL pour OpenGL Rendering Kernel

multimedia INRIA Grenoble, LJK
Outilex

plate-forme de traitement automatique des langues naturelles

base de données, bibliothèque (livre), traitement de données, traitement de texte LIGM
Oval

validation automatique de logiciel

tests LLR
Paraloop

distribution de travaux en parallèle

calcul distribué, workflow LIPM
PHoCEA

gestion du contenu d'un ou plusieurs site(s) web(s) simultanément

gestion de contenu DSM
Plade

plate-forme de recherche de similarité sur du code source

traitement de données LIGM
PLAMP

diffusion atomique et appartenance de groupe

environnement logiciel LAAS
PlayMOBY

environnement de déploiement et de surveillance de web-services BioMOBY

environnement logiciel, service web, surveillance, workflow LIPM
pocolibs

middleware pour les systèmes embarqués et la robotique

biblio. informatique LAAS
PST-Cox

bibliothèque PSTricks permettant de dessiner des projections 2D de polytopes complexes réguliers

dessin, visualisation LIGM
Qolyester

plateforme de test pour le protocole de routage QOLSR

tests LIGM, LRI
realtimez

générateur de diagrammes temps réel pour LaTeX en Python

dessin, outil système LIGM
Reduction

réduction et caractère invariant des graphes de Goresky-Kottwitz-McPherson

Univ Paris 7
Regal

paquetage C++ pour la génération d'automates déterministes finis

LIGM
RevueLigne

squelettes Spip conçus pour l'édition de revues électroniques

édition électronique, gestion de contenu CÉRÉdI
robotpkg

système de compilation et de gestion de paquets logiciels dédié à la robotique

environnement logiciel, gestion de versions, outil système LAAS
rtmsim

simulateur temps réel multiprocesseurs en Java

outil système LIGM
RTSS

simulateur de système temps réel

modélisation LIGM
Saburo

environnement de développement de serveurs Internet

environnement logiciel, modélisation LIGM
Sprintabout

Java et la conception visiteur

LIGM
SWUMM

résolution des équations de Saint-Venant à l'aide d'une méthode de volumes finis multiniveaux

modélisation Labo Maths Orsay
Tatoo

compilateur de compilateurs développé en Java

compilateur LIGM
TimeSquare

simulation de temps logique et physique en CCSL (Clock Constraint Specification Language)

modélisation, visualisation INRIA Sophia
Tina

édition et analyse de réseaux de Petri et de réseaux temporels

modélisation LAAS
Vaucanson

une plate-forme de manipulation d'automates

LIGM, LRDE, LTCI