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

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

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: 99.85 Registered: 2005-10-21 14:22

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: 99.23

Registered: 2005-07-11 16:18

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

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: 86.86

Registered: 2007-03-07 16:37

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: 77.74 Registered: 2012-10-06 07:45

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: 75.58

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: 66.92

Registered: 2005-12-01 17:31

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[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : CeCILL-C[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 : Montbonnot[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]

Activity Percentile: 61.67

Registered: 2005-10-13 12:08

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: 61.51

Registered: 2005-11-29 10:06

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: 60.90

Registered: 2005-09-09 14:00

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: 60.43

Registered: 2008-02-15 14:44

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.79

Registered: 2005-10-28 13:22

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: 52.55 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: 52.40

Registered: 2009-09-16 08:55

Distributed Semantic Mediawiki - DSMW is a Peer-to-peer plugin extension of the Semantic Mediawiki software. This plugin implements the "Logoot" algorithm coupled with an integrated publish/subscribe system. More informations at http://github.com/momo54/DSMW

Development Status : 4 - Beta[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 : PHP[Filter]
Research center : Nancy[Filter]
Topic : Internet : WWW/HTTP : Dynamic Content[Filter]
Topic : Software Development : Version Control[Filter]

Activity Percentile: 51.78

Registered: 2008-12-12 09:36

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

Pnl - Pnl is a numerical library written in C. It is released under the GNU Lesser General Public License.

Development Status : 5 - Production/Stable[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 : C[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 41.89

Registered: 2008-12-09 15:32

MedINRIA (1.x versions) - MedINRIA was a free software developed by the Asclepios research team. It has now been replaced by a whole new platform. Please check the new medInria project at: http://med.inria.fr

Development Status : 5 - Production/Stable[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
License : Other/Proprietary License[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : C\+\+[Filter]
Topic : Scientific/Engineering : Medical Science Apps\.[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 41.58

Registered: 2007-03-20 13:26

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: 41.27

Registered: 2008-07-03 13:34

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