Software Map

Project Tree

Now limiting view to projects in the following categories:
Intended Audience :: Developers [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

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

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 (Now Filtering)
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: 87.01

Registered: 2009-09-16 08:55

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

Registered: 2005-02-25 10:20

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 (Now Filtering)
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: 79.46

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[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers (Now Filtering)
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: 76.44

Registered: 2007-09-06 20:42

Amigo - Amigo provides a standardized,interoperable middleware and intelligent user services for the networked home environment.It offers users intuitive,personalized and unobtrusive interaction by providing seamless interoperability of services and applications.
Development Status : 4 - Beta[Filter] Intended Audience : Developers (Now Filtering) Natural Language : English[Filter] Operating System : Microsoft : Windows[Filter] Operating System : POSIX : GNU/Linux[Filter] Programming Language : C[Filter] Programming Language : C#[Filter] Programming Language : Java[Filter] Topic : Software Development (Now Filtering)	Activity Percentile: 69.49 Registered: 2005-11-09 15:38

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\)[Filter]
Environment : OpenMP[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers (Now Filtering)
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: 65.56

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\)[Filter]
Environment : Other Environment[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers (Now Filtering)
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: 64.35

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

Registered: 2006-11-21 09:06

OCaml interfaces for various C libraries - Set of OCaml interfaces for several OpenSource libraries (GMP, MPFR, CUDD).
Development Status : 6 - Mature[Filter] Intended Audience : Developers (Now Filtering) Kind : Software[Filter] License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter] Natural Language : English[Filter] Programming Language : C[Filter] Programming Language : Objective-Caml[Filter] Research center : Montbonnot[Filter] Topic : Software Development (Now Filtering)	Registered: 2007-06-28 15:25

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

Kermeta2 - Kermeta2 is the major evolution of Kermeta : This tool helps to build other tool by weaving behavior in metamodels.
Development Status : 4 - Beta[Filter] Intended Audience : Developers (Now Filtering) Kind : Software[Filter] License : OSI Approved : Eclipse Public Licence[Filter] Natural Language : English[Filter] Natural Language : French[Filter] Programming Language : Java[Filter] Programming Language : Other[Filter] Research center : Rennes[Filter] Topic : Software Development (Now Filtering)	Activity Percentile: 37.46 Registered: 2012-09-07 12:50

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\)[Filter]
Environment : No Input/Output \(Daemon\)[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers (Now Filtering)
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: 35.95

Registered: 2006-08-31 16:01

Active Data - A programming model and framework for managing Big Data in hybrid distributed computing infrastructures.

Development Status : 3 - Alpha[Filter]
Environment : No Input/Output \(Daemon\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Publication\(s\)[Filter]
Kind : Software[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 : Java[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 33.23

Registered: 2012-06-25 21:04

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

Euclide - Euclide is a Constraint-Based Testing tool for verfying safety-critical C programs. It has three main applications: structural test data generation, counter-example generation, and partial program proving. It runs SICStus Prolog.

Development Status : 2 - Pre-Alpha[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : CeCILL-C[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Programming Language : Prolog[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 21.75

Registered: 2008-11-24 17:53

Fractal Aspect Component - FAC is an extension of the Fractal component model to support AOP. It is built as an unification of Component-Based Software Development (CBSD) and Aspect-Oriented Software Development.
Development Status : 4 - Beta[Filter] Intended Audience : Developers (Now Filtering) 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 : Lille - Nord Europe[Filter] Topic : Software Development (Now Filtering)	Activity Percentile: 21.45 Registered: 2007-01-18 09:26

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

Registered: 2008-04-30 12:04

Telex2 - A communication infrastructure for collaborative, nomadic applications.

Development Status : 4 - Beta[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Research center : Rocquencourt[Filter]
Topic : Communications : File Sharing[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 7.85

Registered: 2007-04-10 16:13

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

Registered: 2006-02-28 08:54

OSA - OSA (Open Simulation Architecture) is an open component-based architecture for discrete-event simulations based on the ObjectWeb's Fractal component model and the Eclipse platform.

Development Status : 3 - Alpha[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development (Now Filtering)
Topic : System : Emulators[Filter]

Activity Percentile: 0.00

Registered: 2006-07-20 14:47

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