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

289 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: 99.84

Registered: 2006-06-13 09:19

Belenios - Verifiable online voting system

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : No Input/Output \(Daemon\)[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 : POSIX[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Nancy[Filter]
Topic : Security : Cryptography[Filter]

Activity Percentile: 99.68

Registered: 2013-11-12 16:52

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.03

Registered: 2005-07-11 16:18

StarPU - StarPU is a unified runtime system that offers support for heterogeneous multicore architectures (GPGPUs, IBM Cell, ...).
Intended Audience : Developers[Filter] Kind : Software (Now Filtering) Natural Language : English[Filter] Operating System : POSIX : GNU/Linux[Filter] Programming Language : C[Filter] Research center : Bordeaux - Sud-Ouest[Filter]	Activity Percentile: 98.87 Registered: 2008-10-30 23:47

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: 98.71

Registered: 2005-03-01 16:29

GeCoS - GECOS (Generic Compiler Suite) is a generic compilation platform, extensible by a plugin mechanism.

Development Status : 4 - Beta[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : Eclipse Public Licence[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering : Electronic Design Automation \(EDA\)[Filter]
Topic : Software Development : Code Generators[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 98.23

Registered: 2006-10-04 12:45

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, ...

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[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 : MacOS[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : Perl[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development : Code Generators[Filter]

Activity Percentile: 97.58

Registered: 2006-07-07 12:05

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: 96.78

Registered: 2007-03-07 16:37

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: 93.88

Registered: 2008-09-08 09:34

Padico - Padico is a software environment for computational grids designed for high performance parallel computing, distributed computing, and software components. Padico is comprised of PadicoTM, PaCO++, GridCCM, and ADAGE.

Development Status : 4 - Beta[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 : POSIX[Filter]
Programming Language : C[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Software Development : Object Brokering[Filter]
Topic : System : Clustering/Distributed Networks[Filter]
Topic : System : Networking[Filter]

Activity Percentile: 90.02

Registered: 2005-07-28 12:04

ArchSat - ArchSat is a prototype of a very modular SMT theorem prover using tableaux rules for deduction.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Registered: 2015-07-17 09:15

PM2: Parallel Multithreaded Machine - PM2 is a low level generic runtime system which integrates multithreading management (Marcel) and a high performance multi-cluster communication library (Madeleine).

Development Status : 4 - Beta[Filter]
Environment : OpenMP[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 85.83

Registered: 2005-06-29 09:28

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: 81.48

Registered: 2005-09-13 09:56

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: 73.91 Registered: 2012-03-13 06:56

ReaTK - Reactive systems verification and synthesis toolkit. This project distributes the ReaX tool for solving discrete controller synthesis problems for infinite state systems given as Controllable-Nbac programs, plus several libraries for handling such files and models. A version of the ReaVer tool is also included.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\)[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 : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 73.11

Registered: 2015-04-22 14:56

★-IPS - The name ★-IPS covers a family of algorithms, based on Iterative Proportional Scaling, intended for Gaussian Markov random field selection.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : Creative Commons : CC-by-nc-sa[Filter]
Natural Language : English[Filter]
Programming Language : C\+\+[Filter]
Research center : Rocquencourt[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 72.30

Registered: 2014-04-18 10:03

FiatLux - Simulateur d'automates cellulaires et de systèmes dynamiques discrets http://fiatlux.loria.fr/
Development Status : 5 - Production/Stable[Filter] Intended Audience : End Users/Desktop[Filter] Kind : Software (Now Filtering) License : CeCILL[Filter] Natural Language : English[Filter] Programming Language : Java[Filter] Research center : Nancy[Filter] Topic : Scientific/Engineering : Mathematics[Filter]	Registered: 2015-06-23 09:46

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: 69.73

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: 69.24

Registered: 2014-03-22 10:05

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: 69.08

Registered: 2008-05-08 13:42

289 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>