Software Map

Project Tree

Now limiting view to projects in the following categories:
Intended Audience :: Developers [Remove This Filter]

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

137 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5> <6> <7>

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 (Now Filtering)
Kind : Software[Filter]
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: 100.00

Registered: 2005-07-11 16:18

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 (Now Filtering)
Kind : Software[Filter]
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: 97.59

Registered: 2007-03-07 16:37

MPFR - Provides a library for multiple-precision floating-point computation with correct rounding. The computation is both efficient and has a well-defined semantics. It copies the good ideas from the ANSI/IEEE-754 standard for double-precision FP arithmetic.
Development Status : 5 - Production/Stable[Filter] Intended Audience : Developers (Now Filtering) License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter] Operating System : OS Independent[Filter] Programming Language : C[Filter] Topic : Scientific/Engineering : Mathematics[Filter]	Activity Percentile: 87.55 Registered: 2005-10-21 14:22

SmartEiffel - SmartEiffel The GNU Eiffel compiler, tools and libraries. Software Engineering. Object Oriented Design. Design by contracts.

Development Status : 6 - Mature[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Natural Language : Spanish[Filter]
Operating System : OS Independent[Filter]
Programming Language : Eiffel[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development : Compilers[Filter]
Topic : Software Development : Debuggers[Filter]

Activity Percentile: 84.34

Registered: 2005-11-29 10:06

GraSP - Matlab / Octave toolbox for processing and visualization of graphs and graph signals.

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Other[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 72.49

Registered: 2015-11-13 10:21

Dose: library and tools - Dose is a library and a collection of tools to perform la large spectrum of analysis on package repositories. Dose manipulates packages repositories from different sources such as Debian, Rpm, Eclipse/Osgi and OpenCSW / Solaris .
Development Status : 5 - Production/Stable[Filter] Environment : Console \(Text Based\)[Filter] Intended Audience : Developers (Now Filtering) Kind : Software[Filter] License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter] Operating System : OS Independent[Filter] Programming Language : Objective-Caml[Filter] Topic : System : Software Distribution[Filter]	Registered: 2012-10-11 07:40

Cudf library - The Cudf library, originally developed in the Mancoosi project, is a reference implementation of the Common Upgradability Description Format
Development Status : 5 - Production/Stable[Filter] Intended Audience : Developers (Now Filtering) Kind : Software[Filter] License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter] Operating System : OS Independent[Filter] Programming Language : Objective-Caml[Filter] Topic : System : Software Distribution[Filter]	Activity Percentile: 67.47 Registered: 2012-10-06 07:45

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[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 : OS Independent[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rennes[Filter]
Topic : Software Development : Compilers[Filter]

Registered: 2007-02-21 09:03

Spoon - Spoon enables you to transform and analyze source code. See http://spoon.gforge.inria.fr/
Development Status : 5 - Production/Stable[Filter] Environment : Other Environment[Filter] Intended Audience : Developers (Now Filtering) License : CeCILL[Filter] Natural Language : English[Filter] Operating System : OS Independent[Filter] Programming Language : Java[Filter] Topic : Software Development : Code Generators[Filter] Topic : Software Development : Compilers[Filter]	Activity Percentile: 67.07 Registered: 2005-09-01 09:30

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

Activity Percentile: 62.65

Registered: 2009-09-16 08:55

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

Activity Percentile: 62.25

Registered: 2006-02-17 09:39

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

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
License : OSI Approved : BSD License[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
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: 62.05

Registered: 2005-09-09 14:00

bzr - Controller synthesis for the design of embedded systems

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 : Montbonnot[Filter]
Research center : Rennes[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 55.42

Registered: 2008-07-04 12:56

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

Registered: 2005-12-01 17:31

CoLoR - The aim of this project is to develop the Coq library CoLoR on rewriting and termination.
Development Status : 6 - Mature[Filter] Intended Audience : Developers (Now Filtering) Intended Audience : End Users/Desktop[Filter] Kind : Software[Filter] License : CeCILL[Filter] Natural Language : English[Filter] Operating System : OS Independent[Filter] Topic : Scientific/Engineering[Filter]	Registered: 2006-09-07 08:57

paradisEO - PARAllel and DIStributed Evolving Objects: a white-box object-oriented framework dedicated to the flexible design of metaheuristics

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : MPI[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : CeCILL[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 : 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: 53.21

Registered: 2005-10-28 13:22

Interactive Audio on Mobiles - XML-based language for interactive audio on mobiles and associated tools (editor, sound managers). Applications to real-world games (audio augmented reality) and indoor-outdoor pedestrian navigation systems with sensors for visually deficient people.

Development Status : 4 - Beta[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Programming Language : C#[Filter]
Programming Language : Java[Filter]
Programming Language : Objective C[Filter]
Research center : Montbonnot[Filter]
Topic : Games/Entertainment[Filter]
Topic : Multimedia : Sound/Audio : Editors[Filter]
Topic : Multimedia : Sound/Audio : Mixers[Filter]

Activity Percentile: 45.58

Registered: 2008-07-03 13:34

Wordnet Libre du Français - WOLF (Wordnet Libre du Français) est une ressource lexicale sémantique libre pour le français, construite automatiquement à partir du Princetown WordNet et de ressources libres, et en cours de validation manuelle.

Development Status : 3 - Alpha[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : CeCILL-C[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Programming Language : Perl[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]

Activity Percentile: 45.38

Registered: 2008-02-15 14:44

Polyphemus - Polyphemus is an air quality modeling system, developed by École des ponts, EDF R&D and INRIA. It includes several chemistry-transport models (for radionuclides, photochemistry, aerosols, ...), data assimilation algorithms and ensemble methods.

Development Status : 5 - Production/Stable[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]
Programming Language : C\+\+[Filter]
Programming Language : Fortran[Filter]
Programming Language : Python[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 45.18

Registered: 2008-02-13 16:03

Kermeta - Kermeta is a Model-Oriented language based on an object-oriented executable meta-modeling paradigm. It features a comprehensive environment for MetaModel Engineering. It is built as an executable extension to MOF.

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]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Research center : Rennes[Filter]
Topic : Software Development : Build Tools[Filter]
Topic : Software Development : Interpreters[Filter]

Activity Percentile: 43.98

Registered: 2005-06-29 12:30

137 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5> <6> <7>