Software Map

Project Tree

Now limiting view to projects in the following categories:
Development Status :: 5 - Production/Stable [Remove This Filter]
Natural Language :: English [Remove This Filter]
Topic :: Software Development [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

6 projects in result set.

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\)[Filter]
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 (Now Filtering)

Activity Percentile: 63.07

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 (Now Filtering)
Environment : Console \(Text Based\)[Filter]
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 (Now Filtering)
Topic : System : Clustering/Distributed Networks[Filter]
Topic : System : Emulators[Filter]

Activity Percentile: 55.96

Registered: 2005-03-01 16:29

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\)[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 : OS Independent[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : Perl[Filter]
Research center : Montbonnot[Filter]
Topic : Software Development (Now Filtering)
Topic : System : Clustering/Distributed Networks[Filter]
Topic : System : Systems Administration[Filter]

Activity Percentile: 17.20

Registered: 2006-02-17 09:39

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\)[Filter]
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 (Now Filtering)

Activity Percentile: 0.00

Registered: 2007-09-06 20:42

BioMAJ - BioMAJ (BIOlogie Mises A Jour) is a workflow engine dedicated to biological bank management. The Software automates the update cycle and the supervision of the locally mirrored bank repository. This repository holds the old v1 of BioMAJ. New release is available at https://github.com/genouest/biomaj

Development Status : 5 - Production/Stable (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 : CeCILL[Filter]
License : Public Domain[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Programming Language : Perl[Filter]
Research center : Rennes[Filter]
Topic : Internet : Log Analysis[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 0.00

Registered: 2006-05-12 12:33

T3DevKit - T3DevKit is a set of libraries and tools for TTCN-3 automatic CoDec generation and adaptors (SA and TA) easy and quick development.

Development Status : 5 - Production/Stable (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL-C[Filter]
Natural Language : English (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 0.00

Registered: 2006-11-21 09:06