Software Map

Project Tree

Now limiting view to projects in the following categories:
Natural Language :: French [Remove This Filter]
Topic :: Scientific/Engineering [Remove This Filter]
Natural Language :: English [Remove This Filter]

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

19 projects in result set.

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[Filter]
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 (Now Filtering)
Natural Language : French (Now Filtering)
Natural Language : Spanish[Filter]
Operating System : OS Independent[Filter]
Programming Language : Eiffel[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development : Compilers[Filter]
Topic : Software Development : Debuggers[Filter]

Activity Percentile: 96.42

Registered: 2005-11-29 10:06

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 (Now Filtering)
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 (Now Filtering)
Topic : Security[Filter]
Topic : Software Development[Filter]

Activity Percentile: 96.12

Registered: 2010-11-05 10:44

LibMultiScale - The LibMultiScale is a C++ parallel framework for the multiscale coupling methods dedicated to material simulations. This framework provides an API which makes it possible to program coupled simulations and integration of already existing codes.

Development Status : 5 - Production/Stable[Filter]
Kind : Software[Filter]
License : CeCILL-C[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : POSIX : AIX[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 67.46

Registered: 2007-08-24 13:54

Kaapi - KAAPI "Kernel for Adaptative, Asynchronous Parallel and Interactive programming" is a C++ library that allows to execute fine/medium grain multithreaded computation with dynamic data flow synchronizations.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : OpenMP[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Fortran[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 64.18

Registered: 2005-10-06 11:03

Perfect SImulator - PSI is a software simulator of Markov chains on large discrete state space. It samples steady state distribution in finite time by the method "coupling from the past".

Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 61.49

Registered: 2005-11-24 16:37

Cycab Toolkit - This project aims to provide a development toolkit dedicated to mobile robotic platforms such as Cycab (simulator, middleware ...).

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Python[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 39.70

Registered: 2005-07-05 08:46

Euclide - Euclide is a Constraint-Based Testing tool for verfying safety-critical C programs. It has three main applications: structural test data generation, counter-example generation, and partial program proving. It runs SICStus Prolog.

Development Status : 2 - Pre-Alpha[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL-C[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Prolog[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 25.97

Registered: 2008-11-24 17:53

Active Data - A programming model and framework for managing Big Data in hybrid distributed computing infrastructures.

Development Status : 3 - Alpha[Filter]
Environment : No Input/Output \(Daemon\)[Filter]
Intended Audience : Developers[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 19.40

Registered: 2012-06-25 21:04

leopar - the Leopar project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering (Now Filtering)

Registered: 2006-10-04 09:23

CoRDAGe - CoRDAGe is a co-deployment and re-deployment tool for grid applications. It interfaces distributed applications with grid middlewares in charge of node reservation and deployment. http://cordage.gforge.inria.fr

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : No Input/Output \(Daemon\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Perl[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 0.00

Registered: 2008-01-10 14:27

CarottAge - Carottage is a toolbox based on stochastic modeling for data mining. See http://www.loria.fr/~jfmari/App/

Development Status : 4 - Beta[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 0.00

Registered: 2007-12-05 13:19

Sémagramme - Regroupement des projets publics de l'équipe Sémagramme

Development Status : 4 - Beta[Filter]
Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Web Environment[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : CeCILL-B[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 0.00

Registered: 2011-06-15 08:03

ChorEM: Choreography Event Monitoring.. - An Optimized Derivation of Event Queries to Monitor Choreography Violations: A project of a runtime event-based monitoring of interaction sequences, automatic and optimized generation of rules.

Development Status : 4 - Beta[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : System Administrators[Filter]
Kind : Publication\(s\)[Filter]
License : Public Domain[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : System : Networking : Monitoring[Filter]

Activity Percentile: 0.00

Registered: 2012-12-19 14:21

Hsplit - This project aims to propose a novel MPI interface to construct a set of hierarchical communicators according to the hardware topology.

Development Status : 2 - Pre-Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : MPI[Filter]
Intended Audience : Developers[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software[Filter]
Kind : Work group[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2016-12-06 10:16

Simulateur et Framework robotique - Utilisation de USARSim et MOAST dans le cadre de d'étude sur la navigation coopérative en milieu urbain.

Development Status : 2 - Pre-Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2007-05-14 15:09

FWR Toolbox - The FWR Toolbox is a Matlab toolbox used to analyse the Finite Word Length effects of digital filters/controllers implementations and find 'optimal' realizations (according to open-loop/closed-loop sensitivity measures, roundoff noise gain,...).
Development Status : 4 - Beta[Filter] Environment : Other Environment[Filter] Kind : Software[Filter] License : CeCILL-C[Filter] Natural Language : English (Now Filtering) Natural Language : French (Now Filtering) Operating System : OS Independent[Filter] Research center : Rennes[Filter] Topic : Scientific/Engineering (Now Filtering)	Activity Percentile: 0.00 Registered: 2006-12-28 00:16

Orccad - ORCCAD is a software environment dedicated to the design and the implementation of advanced robotics control systems. It also allows the specification and the validation of missions to be achieved by the system.

Development Status : 4 - Beta[Filter]
Kind : Software[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Esterel[Filter]
Programming Language : Java[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development : Code Generators[Filter]

Activity Percentile: 0.00

Registered: 2006-01-06 08:32

Détection de points singuliers - Détection de points singuliers et comparaison de différents formalismes

Development Status : 2 - Pre-Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Other Audience[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 0.00

Registered: 2014-03-12 09:10

Toolbox for Opacity - This Java toolbox is a set of tools dedicated to the study of the opacity of systems. Various notions of opacity are planned to be integrated such as normal opacity, k-opacity, and infinite opacity.

Development Status : 2 - Pre-Alpha[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Security[Filter]

Activity Percentile: 0.00

Registered: 2010-03-09 11:24