Software Map
Project Tree
|
Browse By: |
63 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4>
OpenAlea
- OpenAlea is a modelling and simulation framework in plant ecophysiology. | |
|
Activity Percentile: 91.22 Registered: 2005-09-13 09:56 |
Gappa
- Tool for verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It can be used either directly or as a back-end for other tools, e.g. Coq or Why. | |
|
Activity Percentile: 87.16 Registered: 2009-09-16 08:55 |
Spoon
- Spoon enables you to transform and analyze source code. See http://spoon.gforge.inria.fr/ | |
|
Activity Percentile: 86.49 Registered: 2005-09-01 09:30 |
Kadeploy3
- Kadeploy 3 is the next generation of the fast and scalable deployment system for cluster and grid computing. Kadeploy is the reconfiguration system used in Grid5000, allowing the users to deploy their own OS on their reserved nodes. | |
|
Activity Percentile: 84.12 Registered: 2009-06-04 11:01 |
RefleX
- Welcome in the world of Active Tags !
RefleX uses XML tags as actions to perform. It allows to write Web applications as well as batch scripts just with tags, to browse non-XML objects like if they were XML with XPath, and much more.
Have the RefleX ! | |
|
Activity Percentile: 77.70 Registered: 2005-11-04 14:55 |
paradisEO
- PARAllel and DIStributed Evolving Objects: a white-box object-oriented framework dedicated to the flexible design of metaheuristics | |
|
Activity Percentile: 77.03 Registered: 2005-10-28 13:22 |
Yael
- Yael is a C/python/Matlab library providing optimized (multi-threaded, Blas/Lapack, low level optimization) implementations of computationally demanding functions, such as k-means and exact nearest neighbor search. See the Project home page for documentation. | |
|
Activity Percentile: 76.69 Registered: 2009-07-21 12:05 |
mhdrviewer
- This software is intended for visualization of HDR images. It provides a modular framework and libraries, and makes use of GPU for hardware-accelerated processing. | |
|
Activity Percentile: 71.96 Registered: 2009-09-04 16:01 |
CoLoR
- The aim of this project is to develop the Coq library CoLoR on rewriting and termination. | |
Registered: 2006-09-07 08:57 |
Visual Trace Explorer
- This project aims at developing a Pajé like visualizer trace explorer in C++ programming language with OpenGL and Qt technologies. | |
|
Activity Percentile: 64.53 Registered: 2008-11-14 09:11 |
exitbm
- Library related to the first exit time and position of a Brownian
motion for simple domains (segments, squares, rectangles, ...). | |
|
Activity Percentile: 63.18 Registered: 2009-03-05 10:17 |
SYNTAX
- Ensemble d'outils permettant la construction automatique d'analyseurs syntaxiques à partir de leur description grammaticale. Les formalismes reconnus vont des CFG (déterministes ou ambiguës) aux TAG, LFG, RCG, ... | |
|
Activity Percentile: 62.50 Registered: 2006-07-07 12:05 |
JRobot
- Simple environment to learn algorithmic principles. | |
Activity Percentile: 49.66 Registered: 2010-09-28 15:02 |
Java's Cool
- Java's Cool est un environnement de programmation java pour débutant disposant d'un système d'acquisition physique compatible ORPHY GTS 2. | |
|
Activity Percentile: 48.99 Registered: 2008-06-11 14:50 |
CoqFiniteGroups
- Formal proof of the Feit-Thompson theorem
Ssreflect plugin for the Coq proof assistant | |
|
Activity Percentile: 47.97 Registered: 2006-06-21 14:09 |
Kaapi
- KAAPI "Kernel for Adaptative, Asynchronous Parallel and Interactive programming" is a C++ library that allows to execute fine/medium grain multithreaded computation with dynamic data flow synchronizations. | |
|
Activity Percentile: 42.57 Registered: 2005-10-06 11:03 |
GRUDU
- GRUDU is a GUI for Grid'5000 Reservation and Deployment Usage. | |
|
Activity Percentile: 40.20 Registered: 2008-04-04 11:43 |
GraSP
- Matlab / Octave toolbox for processing and visualization of graphs and graph signals. | |
|
Activity Percentile: 39.86 Registered: 2015-11-13 10:21 |
TreeMatch
- MPI process placement can play a deterministic role concerning the application
performance. In this project we work on a novel algorithm called TreeMatch that maps processes to resources. | |
|
Activity Percentile: 38.18 Registered: 2010-09-15 07:43 |
GUIDE
- GUIDE is a Library (and a Graphical User Interface) that allows the generation of evolutionary algorithms suited to the user's needs (even if the user is not an Evolutionary Computation specialist). Two libraries are supported, EO and ECJ.
However, GUIDE is now dead, and this project is used for various projects in TAO. | |
|
Activity Percentile: 37.50 Registered: 2008-01-10 17:14 |
63 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4>