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