Software Map

Project Tree

Now limiting view to projects in the following categories:
Kind :: Software [Remove This Filter]

Natural Language > English	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

286 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12> <13> <14> <15>

ViSP - ViSP is a C++ toolkit that allows rapid prototyping of visual servoing applications. The library features a wide class of control skills as well as real-time tracking processes and simulation capabilities.

Development Status : 5 - Production/Stable[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]
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX[Filter]
Programming Language : C\+\+[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 100.00

Registered: 2006-06-13 09:19

CGAL - We have moved to GitHub: https://github.com/CGAL/cgal Recent releases can be found at https://github.com/CGAL/cgal/releases CGAL, the Computational Geometry Algorithms Library, is an Open Source C++ library of geometric algorithms and data structures.

Development Status : 6 - Mature[Filter]
Intended Audience : Developers[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]
Research center : Nancy[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]
Topic : Scientific/Engineering : Medical Science Apps\.[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 99.73

Registered: 2005-07-11 16:18

gazelle - IHE Gazelle Tools. The Gazelle project is aimed at developing testing tools for IHE. This tools shall test the interoperability of medical systems and the compliance of the messages send by those systems with standards recommender by IHE.

Development Status : 3 - Alpha[Filter]
Development Status : 4 - Beta[Filter]
Development Status : 5 - Production/Stable[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : Apache Software License[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : Communications[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]
Topic : Security[Filter]

Activity Percentile: 98.39

Registered: 2007-03-07 16:37

OpenAlea - OpenAlea is a modelling and simulation framework in plant ecophysiology.

Development Status : 4 - Beta[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 : CeCILL[Filter]
License : CeCILL-C[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Python[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Multimedia : Graphics : 3D Modeling[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 94.89

Registered: 2005-09-13 09:56

Why3 - Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers. The project is no longer maintained here. You can find the repository and the issue tracker at https://gitlab.inria.fr/why3/why3/

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 : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Security[Filter]
Topic : Software Development[Filter]

Activity Percentile: 94.62

Registered: 2010-11-05 10:44

geogram - fast, simple and easy-to-use primitives for geometric programming

Development Status : 3 - Alpha[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Research center : Nancy[Filter]
Topic : Multimedia : Graphics : 3D Modeling[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 94.09

Registered: 2014-03-22 10:05

SPAMS - devel - SPArse Modelling Software (SPAMS) is an optimization toolbox for solving various sparse estimation problems. A new git repository is available at https://gitlab.inria.fr/thoth/spams-devel
Intended Audience : Developers[Filter] Intended Audience : Other Audience[Filter] Kind : Software (Now Filtering) License : OSI Approved : GNU General Public License \(GPL\)[Filter] Natural Language : English[Filter] Programming Language : C\+\+[Filter] Research center : Rocquencourt[Filter] Topic : Scientific/Engineering[Filter]	Activity Percentile: 91.67 Registered: 2012-03-13 06:56

Javalib & Sawja - Javalib is a library to access and manipulate Java class files from OCaml. Sawja is a library that provides a program representation and allows its manipulation. It also provides intermediate representations and algorithms for static analysis.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rennes[Filter]
Topic : Software Development : Compilers[Filter]

Registered: 2007-02-21 09:03

Pharo - Pharo wants to take a fresh look at the Smalltalk philosophy and current implementations. The idea is to produce high quality open-source packages that will be loadable on a micro kernel.

Environment : Console \(Text Based\)[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : English[Filter]
Programming Language : Smalltalk[Filter]
Research center : Lille - Nord Europe[Filter]
Topic : Software Development : Debuggers[Filter]
Topic : Software Development : Interpreters[Filter]

Activity Percentile: 90.59

Registered: 2008-05-08 13:42

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.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Ruby[Filter]
Programming Language : Unix Shell[Filter]
Research center : Montbonnot[Filter]
Research center : Nancy[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 88.71

Registered: 2009-06-04 11:01

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.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : C\+\+[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development[Filter]

Activity Percentile: 87.90

Registered: 2009-09-16 08:55

SimGrid - SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Research center : Montbonnot[Filter]
Research center : Rennes[Filter]
Topic : Software Development[Filter]
Topic : System : Clustering/Distributed Networks[Filter]
Topic : System : Emulators[Filter]

Activity Percentile: 87.63

Registered: 2005-03-01 16:29

bzr - Controller synthesis for the design of embedded systems

Development Status : 4 - Beta[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]
Operating System : OS Independent[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Montbonnot[Filter]
Research center : Rennes[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 84.68

Registered: 2008-07-04 12:56

Graphite - Graphite is a research platform for computer graphics, 3D modeling and numerical geometry.

Development Status : 3 - Alpha[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Research center : Nancy[Filter]
Topic : Multimedia : Graphics : 3D Modeling[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 84.14

Registered: 2008-09-08 09:34

CryptoMiniSat - CryptoMiniSat is a state-of-the-art SAT solver incorporating many ideas. For a list, please visit http://www.msoos.org/2013/04/cryptominisat-3-0-released/ The source is available on github: https://github.com/msoos/cryptominisat

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX[Filter]
Programming Language : C\+\+[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]

Activity Percentile: 82.80

Registered: 2009-05-14 08:56

paradisEO - PARAllel and DIStributed Evolving Objects: a white-box object-oriented framework dedicated to the flexible design of metaheuristics

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : MPI[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Python[Filter]
Research center : Lille - Nord Europe[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 79.84

Registered: 2005-10-28 13:22

PaStiX - PaStiX 6.0.0 and next releases will be hosted on: https://gitlab.inria.fr/solverstack/pastix PaStiX is a high performance parallel solver for very large sparse linear systems based on direct methods. It provides also an adaptive blockwise iLU(k) factorization that can be used as a parallel preconditioner.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : MPI[Filter]
Environment : OpenMP[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : CeCILL-C[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : OS Independent[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : Fortran[Filter]
Programming Language : Python[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 77.96

Registered: 2005-12-01 17:31

TakTuk - Taktuk is a library for efficient large scale deployment of remote executions. The development is headed by the MOAIS INRIA project. The tool is used as a launcher in the KAAPI library and as an administration tool on Grid5000 INRIA platform.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[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 : OS Independent[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : Perl[Filter]
Research center : Montbonnot[Filter]
Topic : Software Development[Filter]
Topic : System : Clustering/Distributed Networks[Filter]
Topic : System : Systems Administration[Filter]

Activity Percentile: 76.88

Registered: 2006-02-17 09:39

knem - *** knem moved to http://knem.gitlabpages.inria.fr (website) and http://gitlab.inria.fr/knem/knem (repository) *** knem is a high-performance message passing interface for MPI communication between local processes. Its Linux kernel module efficiently moves data between process' address spaces and may offload memory copies on Intel I/OAT hardware.

Development Status : 5 - Production/Stable[Filter]
Environment : MPI[Filter]
Intended Audience : Developers[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]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : System : Operating System Kernels : Linux[Filter]

Registered: 2009-05-24 17:08

Open-MX - *** Open-MX moved to http://open-mx.gitlabpages.inria.fr (website) and http://gitlab.inria.fr/open-mx/open-mx (repository) *** Open-MX is a high-performance implementation of the Myrinet Express message-passing stack over generic Ethernet networks with wire and application level compatibility.

Development Status : 5 - Production/Stable[Filter]
Intended Audience : Developers[Filter]
Intended Audience : System Administrators[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 : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]

Registered: 2007-07-26 13:14

286 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12> <13> <14> <15>