Les logiciels validés (au sens PLUME) développés dans la communauté de l'Ens Sup - Recherche

Les logiciels ci-dessous sont référencés comme logiciels validés car utilisés sur plus de 3 sites (cf la définition).

D'autres descriptions de productions logicielles issues de l'Enseignement Supérieur - Recherche, dans divers états, sont aussi disponibles dans PLUME.

Titre Description Métier-activité Laboratoires
Advene lecture active de documents audiovisuels LIRIS
AIGLe Système d'Information et de Gestion Collaboratif de Laboratoire L2C
Aladin localiser, accéder, comparer et analyser les données images et catalogues astronomiques OBS Strasbourg
Amaya éditeur (X)HTML, XML, feuilles de styles CSS et navigateur Web INRIA
AMC création, gestion et correction de QCM ISFA
Ariane analyse lagrangienne de la dynamique de modèles numériques de circulation océanique LPO
Atlas structure et représentations de groupes de Lie réels (calcul formel)
ICJ
Labo Maths Applis Poitiers
Bianchi.gp calcul de domaine fondamental pour les groupes de Bianchi dans l'espace hyperbolique Institut Fourier
bibtex2html traduire BibTeX vers HTML LRI
BioMAJ moteur de workflows pour la synchronisation des données (en biologie notamment)
IRISA
MIG
UBIA
Capsis simulation de la croissance et de la dynamique des peuplements forestiers AMAP
ChemProducts gestion de stock de produits chimiques ICMMO
CiGri grille de calcul “légère” LIG
DIET intergiciel de type GridRPC
DIRAC cadre et composants pour créer des systèmes de calcul distribués
CERN
CPPM
elle simulation numérique de l’évolution microstructal des roches LMTG
erCv analyse d'images lors d'un procédé de soudage
FactoMineR package du logiciel R dédié à l'analyse de données Labo Maths Applis Rennes
FileZ dépôt et gestion de fichiers partagés grâce à une URL unique Univ Avignon
Free-D reconstitution 3D et analyse des structures biologiques NOeMI
FreeFem++ résolution d'équations aux dérivées partielles par éléments finis LJLL
Gabedit interface graphique pour différentes applications de chimie computationnelle LASIM
GammaLib bibliothèque C++ pour l'analyse de données en astronomie gamma IRAP
GDL langage interactif (alternative libre à IDL)
GetFem++ bibliothèque C++ d'éléments finis interfacée scilab-python-matlab
ICJ
IMT
LaMCoS
Giac/Xcas le couteau suisse des mathématiques Institut Fourier
GLOP gestion des absences (congés, missions) du personnel d'un laboratoire CNRS LAPP
GNU MPC bibliothèque de calcul sur les nombres complexes à virgule flottante en précision arbitraire
LIX
LORIA
GNU MPFR bibliothèque de calcul sur les nombres à virgule flottante en précision arbitraire
LIP
LORIA
HIPS solveur de systèmes linéaires creux
INRIA Bordeaux
LABRI
Indico organisation de réunions, séminaires et conférences CERN
iRODS organisation et gestion des données sur une architecture distribuée CC-IN2P3
j-chkmail filtrage de courrier électronique Mines Paris Tech
JeDDLaJ déploiement d'OS et de paquetages logiciels ESIL
JSAGA implémentation en Java de la specification SAGA (Open Grid Forum) CC-IN2P3
Kadeploy3 outil de déploiement de systèmes d'exploitation INRIA
Lodel édition de revues électroniques CLEO
Manlab continuation interactive et analyse de bifurcation de problèmes non-linéaires (bibliothèque Matlab) LMA Marseille
MatGeom bibliothèque de calcul géométrique en 2D et 3D sous Matlab GMPA
Mélina bibliothèque de calculs éléments finis
IRMAR
POEMS
Mixmod classification de données
Heudiasyc
INRIA Saclay
Labo Maths Besançon
Paul Painlevé
MixNet/MixeR statistiques : Mixture Models for Networks
LBBE
MIA-UMR518
SG
Mobyle framework pour intégrer les logiciels bioinformatiques
GenOuest
Institut Pasteur
IRISA
LIPM
RPBS
modXLDAPAuth filtre d'accès à un serveur Apache basé sur les certificats UREC
Monolix analyse de modèle non-linéaire à effets mixtes
INRIA Saclay
Labo Maths Orsay
NeuroSpin
MUMPS solveur direct de systèmes linéaires creux
ENS Lyon
INRIA
IRIT
LABRI
LIP
MuPAD-Combinat bibliothèque de combinatoire algébrique pour le système MuPAD
ICJ
Labo Maths Orsay
LIGM
LIPN
LITIS
Mychem manipulation de données chimiques dans MySQL IPHC
NEMO plateforme de modélisation de l'océan bleu (dynamique), blanc (glace de mer) et vert (biogéochimie) LOCEAN
Neper génération et maillage de microstructures polycristallines LGF
OAR gestionnaire de ressources pour grandes grappes de calcul LIG
OASIS couplage des codes représentant les composantes du système climatique CERFACS
OCaml langage de programmation multi-paradigme INRIA
Opale chaîne éditoriale pour la production de documents pédagogiques UTC
Open-PALM Projet d'Assimilation par Logiciel Multiméthode : coupleur dynamique parallèle CERFACS
OpenAlea modélisation des plantes à différentes échelles
INRIA
LABRI
OpenAmapthèque système intégré de gestion de bibliothèque (SIGB)
OpenMOLE conception et exécution de chaînes de traitement
OptimOffice Chaîne éditoriale pour créer et publier des documents bureautiques UTC
OrbisGIS Système d’Information Géographique (SIG) pour la modélisation scientifique IRSTV
ORI-OAI Outil de Référencement et d'Indexation pour un réseau de portails OAI-PMH
INP Toulouse
INSA Lyon
Univ Rennes 1
Univ Toulouse
Univ Valenciennes
ParadisEO plateforme de développement de métaheuristiques hybrides parallèles sur grilles de calcul INRIA Lille
PARI/GP système de calcul en théorie des nombres IMB
PaStiX Parallel Sparse matriX package
INRIA Bordeaux
LABRI
Pharo environnement de programmation open-source inspiré de Smalltalk INRIA Lille
phpMyResa réservation de ressources (salles...)
CC-IN2P3
LPNHE
LPSC
Populations génétique des populations Génétique Végétale
PyMCA analyse des spectres de fluorescence X, visualisation hyperspectrale ESRF
QTLMap détection de QTL en population consanguine (agronomie) Génétique Animale
Quattor Déploiement et gestion de configuration de machines Linux LAL
R.TeMiS création et analyse de corpus de textes sous R
INED
LSQ-CREST
OSC
PACTE
RDVZ mise en place de rendez-vous entre plusieurs personnes par sondage Univ Avignon
Rheolef résolution des équations aux dérivées partielles par la méthode des éléments finis LJK
ROOT framework d'analyse de données scientifiques CERN
Saada générateur de bases de données en astronomie OBS Strasbourg
Sage-Combinat boîte à outils pour l'exploration informatique en combinatoire (algébrique)
IML
Labo Maths Orsay
LIGM
LITIS
LRI
Univ Aix Marseille 1
SALOME CAO, modélisation de maillages, post-traitement, couplage de codes de calcul
Scenari conception de chaînes éditoriales
Mines Albi
Mines Paris Tech
Univ Lille 1
UTC
Scilab calcul numérique scientifique avec environnement de développement INRIA
Scotch partitionneur séquentiel et parallèle de graphes et renuméroteur de matrices creuses
INRIA Bordeaux
LABRI
SEISMIC_CPML conditions absorbantes pour l'équation des ondes élastiques, viscoélastiques ou poroélastiques
Serial Cloner outil d'analyse et de visualisation de séquences d'ADN
SITools2 système d'accès aux données scientifiques CNES
SPECFEM modélisation par éléments finis spectraux de la propagation des ondes élastiques ou viscoélastiques
STUdS outil de sondage pour déterminer une date ou un lieu de réunion, un thème de travail, ..... Univ Strasbourg
Sympa serveur de listes de diffusion CRU
Tango contrôle d'expériences ou d'installations
ESRF
SOLEIL Synchrotron
THESIAS génétique statistique : test d'association haplotypes - phénotype chez des individus non apparentés INSERM-U937
Tina édition et analyse des réseaux de Petri et des réseaux temporels LAAS
Topcased Atelier de développement d'applications et de systèmes critiques
INRIA
IRIT
LAAS
LIP6
LIST
TRIP logiciel de calcul formel et numérique, dédié à la mécanique céleste IMCCE
Unitex traitement de corpus utilisant des technologies à états finis LIGM
VideoLAN VLC diffusion et réception de flux multimédias ECP
VLE Virtual Laboratory Environment : environnement de multi-modélisation et de simulation
LIL
UBIA
WIMS plateforme d'apprentissage en ligne avec banque d’exercices interactifs et à données aléatoires Labo Maths Orsay
X!TandemPipeline filtrage, édition, regroupement de résultats d'identifications MS Génétique Végétale