Software Map

Project Tree

Now limiting view to projects in the following categories:
Natural Language :: French [Remove This Filter]
License :: OSI Approved :: GNU General Public License (GPL) [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

3 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\) (Now Filtering)
Natural Language : English[Filter]
Natural Language : French (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
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.51

Registered: 2010-11-05 10:44

XtremWeb - XtremWeb: an open source middleware for Desktop Grid

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
Natural Language : English[Filter]
Natural Language : French (Now Filtering)
Programming Language : Java[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 57.78

Registered: 2007-12-28 08:25

seven - Centralisation des développements et documents concernant le projet ANR SEVEN.
Development Status : 4 - Beta[Filter] Intended Audience : Developers[Filter] Kind : Software[Filter] License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering) Natural Language : French (Now Filtering) Operating System : Microsoft : Windows : Windows NT/2000[Filter] Operating System : OS Independent[Filter] Research center : Saclay - Ile de France[Filter]	Activity Percentile: 0.00 Registered: 2006-03-08 11:59