AGRIF :
raffinement de maillage destiné aux modèles d'évolution
aux différences finies
ALIAS :
Librairie pour l'analyse et la résolution de systèmes
algébriques ou non, de dimension 0, reposant sur l'analyse
par intervalles
ARIADNE :
Un protocole dynamique, extensible de découverte de service
Web pour MANET
ATL :
Environnement de développement intégré et moteur
d'exécution pour le langage de transformation de modèles
ATL (Atlas Transformation Language)
AVISPA : Lancement d'un
outil d'analyse pour des protocoles de sécurité fiables
Active-DVI :
logiciel de présentation de transparents écrits en LaTeX
Algolib :
Package Maple pour la combinatoire et les fonctions spéciales
Amaya :
Environnement auteur sur le Web
BIOCHAM :
environnement de programmation pour la modélisation des systèmes
biochimiques
BL2D-V2 :
mailleur 2D isotrope ou anisotrope
BLSURF :
mailleur de surfaces composées de carreaux paramétrés
BONITA :
un moteur de workflow coopératif
Baladin -
logiciel de recalage d'images par block matching
bamg :
Générateur anisotrope de maillages 2D
C-JDBC :
Logiciel de gestion de bases de données en grappe
CADP :
Atelier de génie logiciel pour les protocoles et les systèmes distribués
CDuce : un langage
fonctionnel fortement typé pour la manipulation sûre
et efficace de documents XML
CGAL : Une bibliothèque
C++ d'algorithmes géométriques
CImg :
Bibliothèque de traitement d'images templates en C++
CLPGUI :
une interface graphique pour la visualisation de l'exécution
de programmes logiques avec contraintes
CoLoR : Bibliothèque Coq sur la recriture et la terminaison
Compcert : Compilateur formellement vérifié pour sous-ensemble du langage C
COSMAD :
analyse et surveillance vibratoires
CarottAge :
un logiciel pour la recherche des successions de cultures
caml :
Langage de programmation fonctionnel
Coq :
Système de manipulation de preuves mathématiques formelles
Corese :
Un moteur de recherche RDF dans le formalisme des graphes conceptuels
Deployware : Canevas logiciel libre et extensible à base de composants dédié au déploiement de systèmes distribués et hétérogènes
DIET :
plate-forme hiérarchique de type ASP pour les grilles basé sur
le modèle Grid-RPC du Global Grid Forum
daTac :
Logiciel de preuve dans les théories associatives commutatives
Docking@grid : Programme d'échantillonnage
conformationel pour l'identification des molécules imbriquées
Dynaco :
canevas logiciel pour la réalisation de composants adaptables
dynamiquement
EASEA :
un langage de programmation (avec compilateur) d'algorithmes évolutionnaires
ESM :
suivi temps-réel de régions d'intérêt dans une
séquence d'images
Elan :
Cadre logique pour prototyper résolveurs de contraintes et processus
de déduction
emc2 :
Editeur de Maillage et de Contours en 2 dimensions
EnSuite :
Suite logicielle pour Netconf
FairThreads :
threads coopératifs exécutés par un scheduler
qui leur donne des accès équivalents au processeur
FlowVR :
Un environnement de développement et exécution pour
les applications interactives haute performance allant de la réalité virtuelle à la
visualisation scientifique
FracLab :
traitement du signal et des images fondé sur les méthodes fractales
et multifractales
Fractal :
outil de programmation par composants pour implanter, déployer
et reconfigurer diverses applications allant des systèmes
d'applications aux intergiciels
FreeFem+ :
langage dédié à la méthode des éléments
finis ; permet de résoudre des équations aux dérivées
partielles
GASPAR : Environnement de développement intégré (IDE) pour le SOC co-visuel de modélisation
GENEXP : un générateur de paysages agricoles aléatoires
pour l'étude de la diffusion des transgènes
GNA :
Genetic Network Analyzer
GNU-Prolog :
Compilateur natif pour Prolog intégrant un résolveur
de contraintes sur les domaines finis
GNU-Prolog
RH : GNU Prolog étendu avec
des attributs et des coroutines étendu avec des contraintes
CLP(R)
Gb :
calcul de bases de Gröbner
Graphite :
Atelier de géométrie numérique et modeleur 3D
expérimental pour le graphisme par ordinateur
Guimoo :
visualisation des paysages et analyse des performances par l'emploi
de métriques adaptées à l'optimisation multi-objective
HAVEGE :
un générateur logiciel de nombre aléatoires
imprévisibles
Hevea :
Traducteur rapide de latex vers HTML en Caml
HyperTree Java Library :
librairie Java pour la visualisation de données en arbre hyperbolique
IATO :
simulateur processeur IPF
ICSOAP :
un outil SOAP pour équipements à ressources restreintes
tels que le PDA
IKONA :
Moteur d'indexation et de recherche d'images par le contenu
INMIDIO :
un intergiciel interopérable pour la découverte et
l'accès
aux services dans les environnements numériques ubiquitaires
ouverts
INTERSURF :
visualisation de protéines appariées
IWSAMI :
une infrastructure d'intergiciel pour l'informatique diffuse fondée
sur les Web Services
Isaac : un
système d'exploitation Orienté Objet
ISee :
environnement didactique de bioinformatique
JAC :
environnement de programmation orientée aspect pour les applications
middleware
jlibdiff :
Bibliothèque de calcul de différences
Junior :
définit un API pour la programmation réactive en Java
JoCaml : Objective Caml plus (&) le join calcul (OCaml étendu pour la programmation concurrente et distribuée)
JuxTest : Ensemble
de benchmarks de couches de communication de la plateforme pair-à-pair
JXTA
Kermeta :
Langage et atelier d'Ingénierie Dirigée par les Modèles
pour fabriquer des DSL à partir
de métamodèles exécutables
Kerrighed:
OS pour la gestion globale des ressources dans un cluster de PC/Linux à l'image
d'un SMP
LDPC :
un codec FEC (Forward Error Correction) de type grand bloc pour les
canaux à effacement de paquets tel l'Internet
LibMultiScale : environnement de couplage multi-échelles dédié à la simulation des matériaux
libQGLViewer :
Librairie de développement pour programmes d'affichage 3D,
basée sur Qt et OpenGL
Lisaac : un
langage objet à base de prototypes
LimSee2 -
Un éditeur temporel pour les documents au format SMIL
MD-shots :
Logiciel de découpage d'une vidéo en plans
MIXMOD :
Outil logiciel de classification par analyse discriminante ou autres
méthodes statistiques
MKM :
Manageable Kinematic Motions
Moca : un générateur de modules pour les types à relations
MODULOPT :
bibliothèque de codes d'optimisation
MPFR : Bibliothèque
de calcul flottant en précision arbitraire avec arrondis dirigés,
distribuée avec GMP
MREPS :
Recherche de répétitions successives (en tandem) dans
une séquence génomique
MUMPS:
Un solveur multifrontal parallèle pour environnement distribué
MUSDAC :
un intergiciel pour une découverte et un accès multi-protocole
aux services
MapCenter :
Outil de supersivion des grilles
Mascopt :
Librairie d'optimisation pour les graphes et les réseaux
Metisse :
Une boîte à outils pour l'exploration de nouvelles
techniques de gestion de fenêtres
Modulef :
bibliothèque modulaire d'éléments finis
Monolix: Estimation dans les modèles non linéaires à effets mixtes
Motion-2D :
Logiciel d'estimation du mouvement 2D dominant dans une séquence
d'images
MyCGR :
Étude statistique de séquences biologiques avec la
Chaos Game Representation.
Objective Caml :
Un langage fonctionnel fortement typé de la famille ML
OpenCCM :
intergiciel pour la conception, la production, le conditionnement,
l'assemblage, le déploiement, l'exécution et l'administration
d'applications réparties à base de composants CORBA.
OpenFEM :
boîte-à-outils d'éléments finis pour
Matlab et Scilab
OLSR :
implantation du protocole de routage OLSR
OpenMASK :
plate-forme de développement et d'exécution d'applications
modulaires dans les domaines de l'animation, de la simulation et
de la réalité virtuelle
PACCMAN :
Compilateur/Simulateur Reciblable
PM2 :
support exécutif portable et performant pour grappes de SMP
PPAT :
calcul parallèle de pseudo-spectres de grandes matrices
Paco++ :
Portable Parallel Corba Object
PadicoTM :
environnement pour exécutifs communicant et middleware
Paradiseo :
plate-forme logicielle C++ orientée-objet, dédiée à la
conception réutilisable de métaheuristiques parallèles
hybrides
Pcoq :
Interface graphique pour Coq
Peerple : logiciel de partage sécurisé de données personnelles de pair à pair
Pegase+ :
Moteur de pilotage de programmes (planification et contrôle de chaînes
de programmes)
PlantRad :
calcul de la distribution de lumière dans la végétation
et les scènes urbaines
Pocket
Smil : player de document SMIL 2.0
pour Pocket PC
Polychrony-compilateur :
compilateur batch pour le langage Signal
Polychrony-GUI :
système formel pour la vérification et la synthèse
de contrôleurs
Polychrony-Sigali :
environnement graphique pour le langage Signal
Polylib :
Librairie pour le calcul sur les polyèdres convexes
Premia :
un pricer d'options
ProActive :
Bibliothèque java pour la programmation parallèle distribuée et concurrente,
avec agents mobiles
QGAR :
Environnement pour analyse et reconnaissance de documents graphiques
QI : Near-optimal
parameterization of the intersection of two quadrics given in implicit
form
Rainbow : Certificateur de preuves de terminaison
Rejo :
permet l'introduction d'objets réactifs au dessus de Java
RepDB* :
réplication préventive pour bases de données
autonomes dans une grappe de PC permettant d'assurer la cohérence
fortes des répliques
REQS :
solveur d'équations récursives pour l'analyse statique
de programmes
SALTO : un environnement de transformations pour les langages d’assemblage
SCILIN :
résolution itérative de grands systèmes linéaires
dans l'environnement SCILAB
SOFAT :
Boîte à outils pour la manipulation formelle de langages
de scénarios - Assistance pour le développement
STG :
outil de génération automatique de tests pour les programmes
réactifs
SPro :
librairie et ensemble d'outils pour l'analyse du signal de parole
Sanskrit Engine :
traitement informatique du Sanskrit
Scilab : Environnement
logiciel scientifique pour l'ingénierie et les applications
scientifiques
Skribe :
un langage de programmation fonctionnelle pour l'édition de
documents techniques (au format PostScript, PDF, HTML, Texinfo, man
Unix)
Sirocco :
a software environment for large vocabulary Automatic Speech Recognition
(ASR)
SmartTools :
Atelier de développement logiciel dirigé par les modèles
(type MDA), avec approches de programmation par composants et séparation
de préoccupations, et basé sur les technologies XML
Spread-Ubibus :
Système d'informations spatiales et application dans le cadre
des transports.
SmartEiffel :
Compilateur Eiffel
SugarCubes :
ensemble de classes Java pour la programmation réactive en
Java
SynDEx :
Logiciel de CAO niveau-système pour applications distribuées temps
réel embarquées
SYNAPS :
bibliothèque de calcul symbolique et numérique
TAPENADE :
logiciel de différenciation automatique
TCLP :
contrôle de type pour la programmation logique avec contraintes
TGV/CADP :
prototype de génération automatique de séquences
de tests de conformité pour les protocoles
TOM :
un compilateur de filtrage
TRAIAN :
Un compilateur de E-Lotos
Taxi :
Editeur graphique de documents XML
Tele2 :
calibration des caméras
Timbuk :
Une bibliothèque pour la manipulation d'automates d'arbre et l'interprétation
abstraite des systèmes de réécriture
Tralics : un traducteur de LaTeX en XML
Transmorpher :
un environnement pour la définition et le traitement de transformations
complexes de documents XML
Treemap :
Moteur d'affichage
TwaveLocation :
Localisation de l'onde-T
Vigie :
un logiciel de visualisation (Visualisation Générale
Interactive d'écoulements)
Virtual Retina : Logiciel de Simulation d'une Rétine Biologique
VIsTAL :
Librairie pour le traitement et l'analyse d'images volumiques spatio-temporelles
XMG :
génération automatique d'une grammaire à partir
d'une description sous forme de grammaires d'arbres adjoints ou de
grammaire d'interaction.
Xalign :
mise en correspondance d'un texte et de sa traduction dans une autre
langue
YASS :
Alignement local de séquences d'ADN
yav++ :
outils pour l'ingénierie médicale : visualisation et
manipulation d'images et de modèles déformables
Zen :
outils de linguistique computationnelle
