Software Map

Project Tree

Now limiting view to projects in the following categories:
Operating System :: Microsoft :: Windows [Remove This Filter]
Operating System :: POSIX :: GNU/Linux [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.

Why3 - Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers. The project is no longer maintained here. You can find the repository and the issue tracker at https://gitlab.inria.fr/why3/why3/

Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Security[Filter]
Topic : Software Development[Filter]

Activity Percentile: 95.26

Registered: 2010-11-05 10:44

GUIDE - GUIDE is a Library (and a Graphical User Interface) that allows the generation of evolutionary algorithms suited to the user's needs (even if the user is not an Evolutionary Computation specialist). Two libraries are supported, EO and ECJ. However, GUIDE is now dead, and this project is used for various projects in TAO.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Java[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Education : Computer Aided Instruction \(CAI\)[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]
Topic : Software Development : Code Generators[Filter]

Activity Percentile: 58.50

Registered: 2008-01-10 17:14

FracLab - FracLab is a general purpose signal and image processing toolbox based on fractal and multifractal methods.

Development Status : 4 - Beta[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Other[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 24.51

Registered: 2008-11-03 11:16

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[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
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

Transcend With SOS - A project related to my PhD thesis. The aim of the work is the certification of the lower and upper bounds of transcendental and semi-algebraic functions with COQ and external SOS solvers like SparsePOP, Gloptipoly, SDP libraries like CSDP or SDPA.

Development Status : 1 - Planning[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : Public Domain[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2012-01-08 22:29

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[Filter]
License : OSI Approved : Eclipse Public Licence[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
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[Filter]
License : OSI Approved : Eclipse Public Licence[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2015-03-06 12:40

TLA+ tools - The Proof Manager and the GUI toolbox for the TLA+2 specification and proof language.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2009-09-21 09:47

The Why platform - The Why platform is an environment for deductive verification of C and Java programs.
Kind : Software[Filter] License : OSI Approved : GNU General Public License \(GPL\)[Filter] Operating System : Microsoft : Windows (Now Filtering) Operating System : POSIX : GNU/Linux (Now Filtering) Programming Language : Objective-Caml[Filter] Research center : Saclay - Ile de France[Filter] Topic : Security[Filter] Topic : Software Development[Filter]	Activity Percentile: 0.00 Registered: 2007-10-18 11:50