Software Map
Project Tree
Now limiting view to projects in the following categories:
Kind :: Software [Remove This Filter]
29 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1>
<2>
Euclide
- Euclide is a Constraint-Based Testing tool for verfying safety-critical C programs. It has three main applications: structural test data generation, counter-example generation, and partial program proving. It runs SICStus Prolog.
|
|
Activity Percentile: 4.95
Registered: 2008-11-24 17:53 |
Auxin Transport with Apoplastic Chamber
- This project aims to simulate auxin transport, both active and passive, within a plant, as an aid to understanding morphogenesis.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL-C[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Python[Filter]
- Research center : Sophia Antipolis[Filter]
- Topic : Scientific/Engineering : Bio-Informatics[Filter]
|
Activity Percentile: 3.30
Registered: 2009-07-23 14:05 |
Brain In Three Dimensions (BTD)
- 3D recosntruction of the central nervous sytem from 2D sections.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Win32 \(MS Windows\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software (Now Filtering)
- License : Other/Proprietary License[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Python[Filter]
- Research center : Montbonnot[Filter]
- Topic : Multimedia : Graphics : 3D Modeling[Filter]
|
Activity Percentile: 0.00
Registered: 2008-02-11 22:02 |
Educational Image Library
- EdIL est une bibliothèque C++ basée sur SDL destinée à faciliter la programmation d'algorithmes sur les images ainsi que la gestion des évènements claviers et souris pour la manipulation d'images. Elle se destine aux étudiants apprenant le C++.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Rennes[Filter]
- Topic : Education[Filter]
- Topic : Multimedia : Graphics[Filter]
|
Activity Percentile: 0.00
Registered: 2012-01-01 13:45 |
Lua RVM
- Lua RVM is a demonstrator for the "radio virtual machine" concept. Lua VM extended with radio specific processing features controls radio software components written in C, in order to build dynamically reconfigurable baseband PHY layers.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Kind : Software (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
|
Activity Percentile: 0.00
Registered: 2008-07-02 13:33 |
traduction Speech to Text - PAROLE@LORIA
- MaParole is the speech translation system developped at INRIA PAROLE team. This project and associated source code and documentation shall remain private during early developpment stages but will be made public as soon as it reaches acceptable maturity.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : BSD License[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
|
Activity Percentile: 0.00
Registered: 2011-01-06 10:25 |
OMEGSI
- OMEGSI is an integrated development environment (IDE) for collaborative portals. It allows business process-centered modeling, process simulation, process optimization and full code generation for collaborative portals.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU Affero General Public License v3 \(AGPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Programming Language : Python[Filter]
- Research center : Lille - Nord Europe[Filter]
- Topic : Software Development : Code Generators[Filter]
- Topic : Software Development : Compilers[Filter]
|
Activity Percentile: 0.00
Registered: 2011-10-07 17:27 |
VerveineSharp C# Extractor
- For program information and analysis of .NET projects with Moose.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Win32 \(MS Windows\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : Microsoft : Windows[Filter]
- Programming Language : C#[Filter]
- Research center : Lille - Nord Europe[Filter]
- Topic : Scientific/Engineering : Data Mining[Filter]
- Topic : Scientific/Engineering : Visualization[Filter]
|
Activity Percentile: 0.00
Registered: 2011-04-27 08:21 |
Détection de points singuliers
- Détection de points singuliers et comparaison de différents formalismes
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Publication\(s\)[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 0.00
Registered: 2014-03-12 09:10 |
LexiComp
- The Lexicomp project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Nancy[Filter]
- Topic : Software Development : Compilers[Filter]
|
Activity Percentile: 0.00
Registered: 2009-11-10 11:10 |
SGVisual
- SGVisual aims to manage and ease the developement of experiments based on the SimGrid toolkit, by providing tools for documentation, compiling and executing projects, easy edition of the platform description, Chord demo...
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software (Now Filtering)
- License : Public Domain[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Nancy[Filter]
- Topic : Software Development : Build Tools[Filter]
|
Activity Percentile: 0.00
Registered: 2011-03-04 09:40 |
Simulateur et Framework robotique
- Utilisation de USARSim et MOAST dans le cadre de d'étude sur la navigation coopérative en milieu urbain.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : Win32 \(MS Windows\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2007-05-14 15:09 |
RCCL
- Design and implementation of the RCCL v3 language
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Software Development : Compilers[Filter]
|
Activity Percentile: 0.00
Registered: 2010-09-09 12:59 |
PuppetMaster
- PuppetMaster provides facilities to deal with computations on a Linux network.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Python[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Software Development : Build Tools[Filter]
|
Activity Percentile: 0.00
Registered: 2009-06-17 15:29 |
Transalpyne programming language suite
- Transalpyne is a toolkit written in Python to transpose, interpret, compile and otherwise manipulate programs written in TransAL, the Transposable Algebraic Language.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Python[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
- Topic : Software Development : Code Generators[Filter]
- Topic : Software Development : Interpreters[Filter]
|
Activity Percentile: 0.00
Registered: 2009-12-10 21:04 |
FP-Hadoop
- FP-Hadoop is an improvement of Hadoop framework which aims to avoid skew in the reduce phase in order to improve the system response time.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- Natural Language : English[Filter]
- Programming Language : Java[Filter]
- Research center : Sophia Antipolis[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 0.00
Registered: 2013-05-31 10:12 |
CMA-ES global stochastic optimizer
- The CMA-ES (Covariance Matrix Adaptation Evolution Strategy) is a global stochastic optimizer for difficult non-linear, non-convex continuous domain objective functions. See http://www.lri.fr/~hansen/cmaesintro.html
|
- Development Status : 1 - Planning[Filter]
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C[Filter]
- Programming Language : Java[Filter]
- Programming Language : Other[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2007-07-05 21:25 |
MaPHyS Massivelly Parallel Hybrid Solver
- MaPHyS (Massivelly Parallel Hybrid Solver) is High performance solver for large linear algebra problems coupling direct and iterative approaches.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : MPI[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL-C[Filter]
- Natural Language : French[Filter]
- Programming Language : C[Filter]
- Programming Language : Fortran[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2009-12-21 14:42 |
Toolbox for Opacity
- This Java toolbox is a set of tools dedicated to the study of the opacity of systems. Various notions of opacity are planned to be integrated such as normal opacity, k-opacity, and infinite opacity.
|
|
Activity Percentile: 0.00
Registered: 2010-03-09 11:24 |
Stateful SIP Firewall
- SECSIP is an open source (GPL) stateful firewall targeted to the SIP protocol. It relies on a rule-based language to detect SIP attacks and vulnerabilities.
SECSIP is developed by the Madynes Team located at INRIA Nancy-Grand Est.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : Web Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : System Administrators[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Research center : Nancy[Filter]
- Topic : Communications : Internet Phone[Filter]
- Topic : System : Networking : Firewalls[Filter]
|
Activity Percentile: 0.00
Registered: 2008-06-30 15:00 |
29 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1>
<2>
