Software Map

Project Tree

Now limiting view to projects in the following categories:
Kind :: Software [Remove This Filter]
Programming Language :: C++ [Remove This Filter]

Research center > Saclay - Ile de France	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

9 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[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : C\+\+ (Now Filtering)
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development[Filter]

Activity Percentile: 85.71

Registered: 2009-09-16 08:55

Digiplante Public - Bibliothèques open-source du projet Digiplante

Development Status : 4 - Beta[Filter]
Development Status : 5 - Production/Stable[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL-C[Filter]
Natural Language : English[Filter]
Operating System : Microsoft : Windows : Windows NT/2000[Filter]
Operating System : POSIX[Filter]
Programming Language : C\+\+ (Now Filtering)
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Human Machine Interfaces[Filter]
Topic : Text Editors[Filter]

Activity Percentile: 42.86

Registered: 2009-11-16 10:23

[à jeter]★-IPS [OBSOLETE] - THIS PAGE IS OBSOLETE, PLEASE SEE https://gitlab.inria.fr/bptraffic/star-ips The name ★-IPS covers a family of algorithms, based on Iterative Proportional Scaling, intended for Gaussian Markov random field selection.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : Creative Commons : CC-by-nc-sa[Filter]
Natural Language : English[Filter]
Programming Language : C\+\+ (Now Filtering)
Research center : Rocquencourt[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2014-04-18 10:03

ZenoSolver - ZenoSolver is a C++11 software dedicated to generate and solve MultiZenoTravel instances.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : OpenMP[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : CeCILL-B[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+ (Now Filtering)
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 0.00

Registered: 2014-04-03 06:13

Monolix - Développement du logiciel Monolix

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications : KDE[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+ (Now Filtering)
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]
Topic : Scientific/Engineering : Medical Science Apps\.[Filter]

Registered: 2006-10-02 09:21

graphdice - GraphDice is a multivariate network visualization system that uses the ScatterDice technique to support navigation in all possible graph attribute combinations.

Development Status : 4 - Beta[Filter]
Environment : Other Environment[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : C\+\+ (Now Filtering)
Programming Language : Java[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Multimedia : Graphics : Presentation[Filter]
Topic : Scientific/Engineering : Visualization[Filter]
Topic : Sociology : History[Filter]

Activity Percentile: 0.00

Registered: 2011-10-05 16:07

Computational Unified Library - Topology - CULT - the Computational Unified Library for Topology This is a project to provide a unified basis to write compatible modules for computational topology, topological data analysis and similar areas, with bindings to external systems.

Development Status : 1 - Planning[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Programming Language : C\+\+ (Now Filtering)
Programming Language : Python[Filter]
Research center : Saclay - Ile de France[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2009-04-08 13:27

BOCOP - BOCOP: Boite à Outils pour le Controle OPtimal

Development Status : 6 - Mature[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : Eclipse Public Licence[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+ (Now Filtering)
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2010-08-31 08:45

BOCOP-HJB - BOCOP-HJB Toolbox for optimal control, HJB approach

Development Status : 4 - Beta[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : Eclipse Public Licence[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+ (Now Filtering)
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2015-03-06 12:40