Software Map

Project Tree

Now limiting view to projects in the following categories:
Natural Language :: English [Remove This Filter]
Development Status :: 5 - Production/Stable [Remove This Filter]
Environment :: Console (Text Based) [Remove This Filter]

Development Status > 5 - Production/Stable	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

45 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3>

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 (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
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

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 (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : System Administrators[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English (Now Filtering)
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: 90.59

Registered: 2009-06-04 11:01

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

Development Status : 5 - Production/Stable (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
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.65

Registered: 2005-03-01 16:29

Belenios - Verifiable online voting system

Development Status : 5 - Production/Stable (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Environment : No Input/Output \(Daemon\)[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Affero General Public License v3 \(AGPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : POSIX[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Nancy[Filter]
Topic : Security : Cryptography[Filter]

Activity Percentile: 85.59

Registered: 2013-11-12 16:52

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 (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
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: 84.71

Registered: 2009-09-16 08:55

Tom - Tom is an extension of Java designed to manipulate tree structures and XML documents.

Development Status : 5 - Production/Stable (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
License : OSI Approved : BSD License[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : C[Filter]
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Topic : Software Development : Code Generators[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 84.41

Registered: 2005-09-09 14:00

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 (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : English (Now Filtering)
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX[Filter]
Programming Language : C\+\+[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]

Activity Percentile: 83.53

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 (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Environment : MPI[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
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: 77.94

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 (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Environment : MPI[Filter]
Environment : OpenMP[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL-C[Filter]
Natural Language : English (Now Filtering)
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: 74.41

Registered: 2005-12-01 17:31

SODIAC - SODIAC stands for SOftware DIstribution Analysis Chain. Documentation is available on the wiki: http://gforge.inria.fr/plugins/wiki/index.php?id=929&type=g

Development Status : 5 - Production/Stable (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : Java[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development[Filter]

Activity Percentile: 74.12

Registered: 2007-09-06 20:42

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.

Development Status : 5 - Production/Stable (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
License : Other/Proprietary License[Filter]
Natural Language : English (Now Filtering)
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : Other[Filter]
Programming Language : Python[Filter]
Research center : Montbonnot[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering : Data Mining[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 68.53

Registered: 2009-07-21 12:05

MMG3D - MMG3d is an isotropic/anisotropic tetrahedral fully automatic remesher

Development Status : 5 - Production/Stable (Now Filtering)
Development Status : 6 - Mature[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 67.94

Registered: 2012-09-07 06:58

Alignment API - The Alignment API allows various ontology matchers to share the same format and interface for accessing matching results. It also features a reference implementation and the Alignment server.

Development Status : 5 - Production/Stable (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL-C[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]

Registered: 2005-10-13 12:08

EZTrace - EZTrace is a tool that aims at generating automatically execution trace from HPC (High Performance Computing) programs. It generates execution trace files that can be interpreted by visualization tools such as ViTE.

Development Status : 5 - Production/Stable (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL-B[Filter]
Natural Language : English (Now Filtering)
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 64.12

Registered: 2010-05-28 15:10

XtremWeb - XtremWeb: an open source middleware for Desktop Grid

Development Status : 5 - Production/Stable (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Programming Language : Java[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 60.29

Registered: 2007-12-28 08:25

Distem - a DISTributed systems EMulator

Development Status : 5 - Production/Stable (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Ruby[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 47.06

Registered: 2011-08-24 12:16

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 (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
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: 46.47

Registered: 2006-02-17 09:39

OpenMASK-V4 - OpenMASK is a C++ libraries set for the development and execution of modular applications dedicated to Virtual Reality. OpenMASK is an easy way to interact, to integrate, to distribute over a network, to visualize in various VR environments.

Development Status : 5 - Production/Stable (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Environment : PVM[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : QT Public License \(QPL\)[Filter]
Natural Language : English (Now Filtering)
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 : Games/Entertainment : Simulation[Filter]
Topic : Multimedia : Graphics : Viewers[Filter]
Topic : Scientific/Engineering : Human Machine Interfaces[Filter]

Registered: 2007-11-12 15:04

OMiSCID - O3MiSCID (aka OMiSCID) is an Object Oriented Opensource Middleware for Service Communication, Inspection and Discovery

Development Status : 5 - Production/Stable (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Environment : Win32 \(MS Windows\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : English (Now Filtering)
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Java[Filter]
Programming Language : Python[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development : Build Tools[Filter]

Activity Percentile: 35.00

Registered: 2006-05-05 09:24

GINNet and DynNet - GINNet is a graphical platform of data-mining, developped in Java and bases on DynNet library, allowing easy manipulation of neural networks, decision trees, etc.

Development Status : 5 - Production/Stable (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[Filter]
License : CeCILL[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]

Activity Percentile: 30.59

Registered: 2005-09-21 09:13

45 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3>