Software Map

Project Tree

Now limiting view to projects in the following categories:
Environment :: Console (Text Based) [Remove This Filter]
Topic :: Software Development [Remove This Filter]

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

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

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\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
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 (Now Filtering)

Activity Percentile: 99.18

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

Activity Percentile: 57.20

Registered: 2005-03-01 16:29

Kaapi - KAAPI "Kernel for Adaptative, Asynchronous Parallel and Interactive programming" is a C++ library that allows to execute fine/medium grain multithreaded computation with dynamic data flow synchronizations.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : OpenMP[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Fortran[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development (Now Filtering)
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 57.00

Registered: 2005-10-06 11:03

RefleX - Welcome in the world of Active Tags ! RefleX uses XML tags as actions to perform. It allows to write Web applications as well as batch scripts just with tags, to browse non-XML objects like if they were XML with XPath, and much more. Have the RefleX !

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : Other Environment[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Topic : Internet : WWW/HTTP : Dynamic Content[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 44.24

Registered: 2005-11-04 14:55

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

Registered: 2006-11-21 09:06

SmartTools Software Factory - The SmartTools software is used to develop more rapidelly Eclipse-based applications (plugins), Service-Oriented Applications into Eclipse frame-work and Peer-to-Peer Service-Oriented Applications on top of an Overlay Network (PON).

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : No Input/Output \(Daemon\)[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
Kind : Work group[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Software Development (Now Filtering)
Topic : System : Networking[Filter]
Topic : System : Software Distribution[Filter]

Activity Percentile: 18.11

Registered: 2006-08-31 16:01

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\) (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[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 (Now Filtering)
Topic : System : Clustering/Distributed Networks[Filter]
Topic : System : Systems Administration[Filter]

Activity Percentile: 9.26

Registered: 2006-02-17 09:39

Nullability Inference Tool - NIT (Nullability Inference Tool) is a tool to infer non-null annotations for fields and methods in Java programs to be able to use annotation facility in Java 5 and the checkers that are developed by third parties.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
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 : Rennes[Filter]
Topic : Security[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 7.41

Registered: 2008-04-30 12:04

PeerUnit - The Atlas Peer-to-peer testing platform is a platform to develop tests for P2P systems. Main features: test execution control, synchronization, volatility control.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 4.73

Registered: 2007-12-10 14:15

Low Level Component Model C++ (LLCMc++) - Low Level C++ Component Model that supports interactions between components through plain C++ calls, MPI and CORBA.

Development Status : 4 - Beta[Filter]
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[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Topic : Software Development (Now Filtering)

Registered: 2011-01-24 12:41

Siconos - This software is dedicated to the modeling, the simulation and the control of NonSmooth Dynamical Systems with main applications to the nonsmooth Mechanics (impact, contact and friction) and the nonsmooth Electricity (diodes and MOS transistors).

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
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 : C\+\+[Filter]
Programming Language : Fortran[Filter]
Programming Language : Python[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 0.00

Registered: 2005-02-25 10:20

Mr. Waffles - Mr. Waffles is an open source CTL model checker written entirely in Python. As such, it allows for quick prototyping of systems and specifications. It is particularly suited for program analysis based on control-flow graphs.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Python[Filter]
Research center : Nancy[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 0.00

Registered: 2009-07-09 12:43

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\) (Now Filtering)
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
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 (Now Filtering)

Activity Percentile: 0.00

Registered: 2007-05-14 15:09

Coqine - A Coq to Dedukti translator.
Development Status : 4 - Beta[Filter] Environment : Console \(Text Based\) (Now Filtering) Intended Audience : Developers[Filter] Kind : Software[Filter] Natural Language : English[Filter] Operating System : POSIX : GNU/Linux[Filter] Programming Language : Objective-Caml[Filter] Research center : Rocquencourt[Filter] Topic : Software Development (Now Filtering)	Activity Percentile: 0.00 Registered: 2013-05-24 11:51

ProActive - ProActive is a GRID Java library for parallel, distributed, and concurrent computing, also featuring mobility and security in a uniform framework. ProActive runs on Local Area Network (LAN), on clusters of workstations, or on Internet Grids.

Development Status : 6 - Mature[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development (Now Filtering)

Registered: 2005-11-24 17:27

Fractal Deployment Framework - Fractal Deployment Framework is a generic component-based deployment framework for J2EE, OSGi, CCM, Web Services, etc.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Intended Audience : System Administrators[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 0.00

Registered: 2006-03-15 11:22

Caml-get - Caml-get is a tool to distribute and get Objective-Caml code, in a way similar to the apt-get utility.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 0.00

Registered: 2006-02-28 08:54

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[Filter]
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[Filter]
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

The Kayrebt Toolset - The Kayrebt toolset is a set of software projects dedicated to the extraction, visualisation and analysis of activity diagrams-like graphs showing a low-level representation of C code, and more particularly the Linux kernel code base.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering : Visualization[Filter]
Topic : Software Development (Now Filtering)

Registered: 2016-02-03 08:19

Ordered Read-Write Locks - ORWL is a reference implementation of Ordered Read-Write Locks, a programming model and API for parallel and distributed computing. ORWL is at the same time simple to use and efficient and provides deadlock-freeness and equity for iterative programs.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 0.00

Registered: 2012-12-29 14:16

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