AFPN : Augmented First Person Navigation
AGRIF :
An adaptive mesh refinement package
ALIAS :
Library for analysis and resolution of algebraic or non algebraic
systems of dimension 0, resting on analysis by intervals
ARIADNE :
A Scalable Dynamic Web Service Discovery Protocol for MANET
AVISPA : Release of a
Tool for the Automatic Validation of Security Protocols
ATL :
Integrated Development Environment (IDE) and execution engine for
the ATL model transformation language
Active-DVI :
a programmable presenter for slides written in LaTeX
Algolib :
Maple Package for combinatorics and computer algebra
Amaya :
Web authoring environment
Baladin :
robust registration of images
BIOCHAM :
a programming environment for modeling biochemical systems
BL2D :
2D Isotropic Mesh Generator, can be integrated in an adaptive process
BLSURF :
mesh generator for composite parametric surfaces
BONITA :
Flexible cooperative workflow system
bamg :
Bidimensional Anisotropic Mesh Generator
C-JDBC :
a database cluster middleware that allows any Java application
CADP :
a software engineering toolbox for protocols and distributed systems
CDuce : a strongly-typed
functional language for safe and efficient manipulation of XML documents
CGAL : A C++
Library of Computational Geometry Algorithms
CImg :
The C++ Templated Image Processing Library
CLPGUI :
A Graphical User Interface for Constraint Logic Programming
CoLoR : Coq Library on Rewriting and termination
Compcert : Formally verified C compiler for critical software
COSMAD :
a toolbox for in-operation modal analysis and damage detection and
localization
CarottAge :
a Software For Crop Rotations Discovery
Caml :
a functional programming language
Corese :
A Conceptual Resource Search Engine
Coq :
a system of formal mathematical evidence manipulation
Deployware : an open source extensible component-based framework to deploy distributed and heterogeneous software systems
DIET :
DIET is a Grid ASP platform. It is a hierarchical middleware based
on the Grid-RPC model of the Global Grid Forum.
daTac :
a proof application in the commutative associative theories
Docking@grid : a conformational sampling program for the identification of docking molecules
Dynaco :
a framework for making software components dynamically adaptable
EASEA :
a high-level language dedicated to the specification of evolutionary
algorithms
ESM :
real-time tracking of regions of interest in an image sequence
Elan :
a logic framework for prototyping constraints resolvers deduction
processes
emc2 :
Mesh and Contours Editor in 2D
EnSuite :
Extended Netconf Suite
FairThreads :
cooperative threads run by a fair scheduler that gives them equal
access to the processor
FlowVR:
a developpement and execution environment for high performance
interactive applications ranging from virtual reality to scientific
visualization
FracLab :
general purpose signal and image processing toolbox based on fractal
and multifractal methods
Fractal :
modular and extensible component model that can be used with various
programming languages to design, implement, deploy and reconfigure
various systems and applications, from operating systems to middleware
platforms and to graphical user interfaces
FreeFem+ :
language dedicated to the finite elements method; enables resolution
of partial derivatives equations
GASPAR : An Integrated Development Environment (IDE) for SoC visual co-modeling
GENEXP : A generating software of
random agricultural landscapes for studying the dissemination of
transgenic organisms
GNA :
Genetic Network Analyzer
GNU-Prolog :
a native Prolog compiler, integrating a constraints resolver on finite
domains
GNU-Prolog
RH : a version of GNU Prolog extended
with attributed variables, coroutines and CLP(R) constraints
Gb :
Software for computing Grobner bases
Graphite :
numerical geometry workbench and experimental modeler for 3d computer
graphics
Guimoo :
visualization of landscapes for Multi-Objective Optimization and
the analysis of performances by the use of special metrics
HAVEGE:
A software user-level unpredictable random number generator
Hevea :
Fast translator for latex to HTML in Caml
HyperTree Java Library :
a library to ease the implementation of hyperbolic tree visualization
IATO :
a flexible environment that permits to analyze, emulate or simulate
the IA64 Instruction Set Architecture (ISA) binary executables
iCOCOA:
COnversation-based service COmposition in pervAsive computing environments
ICSOAP:
a SOAP engine for resource-constrained devices such as PDA
IKONA :
content-based image indexing techniques and interactive search and
retrieval engine
INMIDIO :
an INteroperable MIddleware for service Discovery and service InteractiOn
INTERSURF :
Visualizing the interaction between two proteins
IWSAMI :
A middleware infrastructure for ambient intelligence based on Web
Services
Isaac : an
OO operating system
ISee :
In Silico biology e-learning environment
JAC :
aspect-oriented framework for middleware applications
jlibdiff :
Java library for computing differences between files
JoCaml : Objective Caml plus (&) the join calculus (OCaml extended for concurrent and distributed programming)
Junior :
defines an API for reactive programming in Java
JuxTest : Provide
a automated set of tests for evaluating JXTA performances
Kermeta :
Language and Model Driven Engineering workbench allowing to build
DSL (Domain
Specific Language) from executable metamodels
Kerrighed :
a Single System Image operating system for clusters
LDPC :
un codec FEC (Forward Error Correction) de type grand bloc pour les
canaux à effacement de paquets tel l'Internet
LibMultiScale : a C++ parallel framework for the multiscale coupling methods dedicated to material simulations
libQGLViewer :
3D viewers development API based on Qt and OpenGL
Lisaac :
an OO prototype based language
LimSee2 :
multimedia document editor in SMIL
MD-shots :
Video partitioning into elementary shots
MIXMOD :
High Performance Model-Based Cluster and Discriminant Analysis
MKM :
Manageable Kinematic Motions
Moca : a module generator for relational types
MODULOPT :
A library for solving optimization problems
MPFR : Library
for multiprecision floating-point computations with exact rounding
based GMP
MREPS :
Finding contiguous repetitions in a a genomic sequence
MUMPS :
A MUltifrontal Massively Parallel Solver
MUSDAC :
A middleware for MUlti-protocol Service Discovery and ACcess
MapCenter :
An Open Grid Status Visualization Tool
Mascopt :
Optimization library for graphs and networks
Metisse :
A toolkit for exploring new window management techniques
Modulef :
Modular library of finite elements
Monolix : Nonlinear mixed effects models
Motion-2D :
Software for 2D dominant motion estimation
MyCGR :
Chaos Game Representation on DNA sequences
Objective Caml :
a strongly-typed functional programming language from the ML family
OLSR :
An implementation of the optimized link state routing protocol :
OSLR
OpenAlea : Component platform and visual programming for plant modeling.
OpenCCM :
middleware to design, implement, package, assemble, deploy, execute
and manage distributed applications based on CORBA components
OpenFEM :
finite element toolbox for Matlab and Scilab
OpenMASK :
a platform for the development and execution of modular applications
in the fields of animation, simulation and virtual reality
PACCMAN :
Retargetable Compiler/Simulator
PM2 :
a distributed multithreaded environment designed to efficiently support
irregular parallel applications on distributed architectures
PPAT :
Parallel Path following Algorithm using Triangles
Paco++ :
Portable Parallel Corba Object
PadicoTM :
a Framework for Communication Runtimes and Middleware
Paradiseo :
a free C++ object-oriented framework dedicated to the reusable design
of parallel and hybrid metaheuristics.
Pcoq :
a graphical interface for Coq
Peerple : a peer-to-peer client for private sharing and backup of personnal data.
Pegase+ :
program supervision engine (planning and control of program chaining)
PlantRad :
Instanciation-Based Radiosity Software for Computing the Distribution
of Light in Vegetation and Urban Scenes
Pocket
Smil : a SMIL 2.0 Player for the Pocket
PC
Polychrony-compilateur :
a compiler for the Signal language
Polychrony-GUI :
editor and interactive access to compiling functionalities
Polychrony-Sigali :
an associated formal system for formal verification and controller
synthesis
Polylib :
a versatile tool for the treatment of polyhedra
Premia:
an option pricer
ProActive :
100% Java for Parallel, Distributed, and Concurrent Computing
QGAR :
a software package for graphics analysis
QI : Near-optimal parameterization of the intersection of two quadrics given in implicit form
Rainbow : termination proof certifier
regexpcount :
Combinational structures
Rejo :
introduces Reactive Objects on top of Java
RepDB* :
a data management component for replicating autonomous databases
or data sources in a cluster system
REQS :
a generic solver of recursive equations system used in static program
analysis
SCILIN :
a Scilab toolbox for sparse linear systems
SMINGTOOLS :
networks tools
SOFAT :
A tolbox for formal manipulation of scenario languages - software
engineering
STG :
symbolic test generation
SPro :
standard speech signal analysis routines
Scilab : Scientific
software environment for engineering and scientific applications
Skribe :
a functional programming language to writing text documents (PostScript,
PDF, HTML, Texinfo, man Unix formats)
Sirocco :
a software environment for large vocabulary Automatic Speech Recognition
(ASR)
SmartEiffel :
an Eiffel compiler
SmartTools :
MDA software development factory, using components-based programming
and aspect-oriented programming approaches, and based on the XML
technologie
Spread-Ubibus :
a software system enabling simple and elegant programming of ubiquitous
computing applications
SugarCubes :
a set of 100% Java classes for reactive programming in Java
SynDEx :
system-level CAD software for distributed real-time on board applications
SYNAPS :
a library devoted to symbolic and numeric computations
TAPENADE :
Automatic Differentiation Engine
TCLP :
a type checker for constraint logic programming
TGV/CADP :
a tool for test generation of conformance test suites from specifications
of reactive systems
TOM :
A Pattern Matching Compiler
TRAIAN :
an E-Lotos compiler
Taxi :
XML editor with graphical visualisations
Tele2 :
Camera Calibration
Timbuk:
A library for tree automata manipulation and abstract interpretation
of rewriting systems
Tralics : a LaTeX to XML translator
Transmorpher :
a software environment for defining and processing complex transformations
of XML documents
Treemap :
a library to ease the implementation of treemap visualization
TwaveLocation :
T-wave location
Vigie :
comparison of the numerical results of simulations in the framework
of workshops about hypersonic speed simulation and magnetic filed
simulations
VIsTAL :
Volumetric Images Treatments and Analysis
Virtual Retina : Biological Retina Simulation Software
Voipbot : Botnet, voice over IP
XMG :
a tool for designing large scaled grammars for natural language
Xalign :
Put in correspondence a text and its translation in another language
YASS :
Finding alignment of DNA sequences
yav++ :
General-purpose C++ Medical Image Library
ZEN :
a computational linguistics toolkit
