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.

Logiciel Description Fonctionnalités Origine (laboratoire/service)
TimeSquare

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

modélisation, visualisation INRIA Sophia
Plade

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

traitement de données LIGM
ocamlmath

calcul mathématique en OCaml

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

JAva SErialisation TOolkit

langage informatique INRIA Sophia
LeJosRT

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

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

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

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

simulateur temps réel multiprocesseurs en Java

outil système LIGM
realtimez

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

dessin, outil système LIGM
Morse

simulation pour la robotique

environnement logiciel, visualisation LAAS, ONERA
GNU Prolog

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

compilateur, langage informatique CRI
D-LITe

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

LIGM
Antelink

traçabilité de contenus open source

LibOdsStream

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

tableur Génétique Végétale
RevueLigne

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

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

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

environnement logiciel, service web, surveillance, workflow LIPM
Sprintabout

Java et la conception visiteur

LIGM
JMMF

multiméthodes en Java

LIGM
PHoCEA

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

gestion de contenu DSM
greffon-pdf-piwik

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

journalisation, statistiques, surveillance INIST
OAR

gestionnaire de ressources pour grandes grappes de calcul

calcul distribué LIG
Ork

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

multimedia INRIA Grenoble, LJK
EDNA

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

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

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

archivage, biblio. informatique, sauvegarde LAAS
eltclsh

interpreteur de commandes interactif pour le langage TCL

langage informatique LAAS
robotpkg

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

environnement logiciel, gestion de versions, outil système LAAS
ESA - PetriNet

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

LAAS
Tina

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

modélisation LAAS
GMTE

moteur de matching et transformation de graphes

modélisation LAAS
MLV

bibliothèque multimedia simplifiée

biblio. informatique, formation, langage informatique, multimedia LIGM
G'MIC

outil de manipulation d'images génériques

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

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

modélisation Labo Maths Orsay
CreaTools

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

environnement logiciel, traitement d'images CREATIS
GNU MPFR

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

biblio. informatique LIP, LORIA
Monolix

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

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

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

compilateur, langage informatique LCPQ
Oval

validation automatique de logiciel

tests LLR
MEDL

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

environnement logiciel LIGM
IPv6 CARE

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

outil système, tests UREC
Qolyester

plateforme de test pour le protocole de routage QOLSR

tests LIGM, LRI
OpenFLUID

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

environnement logiciel, modélisation LISAH
CimulA

analyse de perturbations sur automates cellulaires

LIP
Genom

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

environnement logiciel LAAS
pocolibs

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

biblio. informatique LAAS
OpenPRS

langage de raisonnement procédural

editeur de texte, environnement logiciel, langage informatique LAAS
Givaro

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

biblio. informatique, calcul distribué, chiffrement, formation LIG, LIP, LIRMM, LJK
Algorithmique du texte

implémentation d'algorithmes de traitement du texte

traitement de texte LIGM, LITIS
Lothaire package

implémentation des algorithmes de la combinatoire des mots

LIGM
Outilex

plate-forme de traitement automatique des langues naturelles

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

distribution de travaux en parallèle

calcul distribué, workflow LIPM
Hoop

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

base de données LIGM
Tatoo

compilateur de compilateurs développé en Java

compilateur LIGM
Ed'Nimbus

filtre de séquences ADN

traitement de données LIGM
Regal

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

LIGM
PLAMP

diffusion atomique et appartenance de groupe

environnement logiciel LAAS
PST-Cox

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

dessin, visualisation LIGM
RTSS

simulateur de système temps réel

modélisation LIGM
Kostka

nombres de Kostka et coefficients de Littlewood-Richardson

Univ Paris 7
Reduction

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

Univ Paris 7
Saburo

environnement de développement de serveurs Internet

environnement logiciel, modélisation LIGM
Minbrkpts

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

LIGM
Orientation Library

collection de routines pour la manipulation de rotations / orientations

LGF
Vaucanson

une plate-forme de manipulation d'automates

LIGM, LRDE, LTCI