Software Map

Project Tree

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

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

12 projects in result set.

CoqFiniteGroups - Formal proof of the Feit-Thompson theorem Ssreflect plugin for the Coq proof assistant

Environment : Other Environment (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
License : CeCILL-B[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : ML[Filter]
Programming Language : Other (Now Filtering)
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 68.41

Registered: 2006-06-21 14:09

YALTA Toolbox - YALTA is a Matlab toolbox dedicated to the stability analysis of delay systems and fractional delay systems given by their transfer function.

Development Status : 3 - Alpha[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Other (Now Filtering)
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 60.71

Registered: 2013-05-15 19:39

OpenEmbeDD - OpenEmbeDD is an ANR project. Its goal is to build an open-source platform for Model Driven Engineering of Real Time and embedded systems.

Development Status : 3 - Alpha[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : CeCILL-B[Filter]
License : OSI Approved : Eclipse Public Licence[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Java[Filter]
Programming Language : Other (Now Filtering)
Research center : Rennes[Filter]
Research center : Rocquencourt[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Software Development : Build Tools[Filter]
Topic : Software Development : Code Generators[Filter]

Activity Percentile: 30.49

Registered: 2006-10-18 11:29

GraSP - Matlab / Octave toolbox for processing and visualization of graphs and graph signals.

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Other (Now Filtering)
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 22.53

Registered: 2015-11-13 10:21

Inria EEGLAB Plug-ins - EEGLAB open-source plug-ins developed at INRIA by the Odyssee Project Team

Development Status : 4 - Beta[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Other (Now Filtering)
Research center : Sophia Antipolis[Filter]
Topic : Scientific/Engineering : Medical Science Apps\.[Filter]

Activity Percentile: 4.67

Registered: 2009-06-15 09:13

mmx - Mathemagix, a system for algebraic and analytic computation

Development Status : 4 - Beta[Filter]
Environment : Console \\\\\(Text Based\\\\\) : Curses[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Other (Now Filtering)
Topic : Scientific/Engineering : Mathematics[Filter]
Topic : Software Development : Compilers[Filter]
Topic : Software Development : Interpreters[Filter]

Activity Percentile: 0.00

Registered: 2007-02-09 13:20

biohydrodynamics toolbox - Based on recent mathematical advances, biohydrodynamics toolbox gathers a collection of matlab/octave M-files for design, simulation and analysis of articulated bodies' motions in fluid.

Development Status : 4 - Beta[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Other (Now Filtering)
Research center : Nancy[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2008-09-08 09:19

totitatu - totitatu is a test project.

Development Status : 1 - Planning[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Other (Now Filtering)
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]

Registered: 2013-05-13 09:40

6lowpan Test Platform - A lib for running 6lowpan tests in TTCN-3 (including type definitions, codecs & adapters)

Development Status : 4 - Beta[Filter]
Environment : Other Environment (Now Filtering)
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 : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Other (Now Filtering)
Research center : Rennes[Filter]
Topic : Software Development[Filter]

Registered: 2012-05-22 14:59

iCube - iCube stands for INRIA Identification Interface

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Other (Now Filtering)
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]

Activity Percentile: 0.00

Registered: 2011-09-09 12:33

CMA-ES global stochastic optimizer - The CMA-ES (Covariance Matrix Adaptation Evolution Strategy) is a global stochastic optimizer for difficult non-linear, non-convex continuous domain objective functions. See http://www.lri.fr/~hansen/cmaesintro.html

Development Status : 1 - Planning[Filter]
Development Status : 2 - Pre-Alpha[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
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]
Programming Language : Java[Filter]
Programming Language : Other (Now Filtering)
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2007-07-05 21:25

Sintaks - Sintaks takes advantage of metamodels to generate fully operational tools for concrete syntaxes. It uses bidirectional mapping-models to support both model-to-text and text-to-model transformations (generators and parsers).

Development Status : 3 - Alpha[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : Eclipse Public Licence[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Programming Language : Other (Now Filtering)
Research center : Rennes[Filter]
Topic : Software Development : Build Tools[Filter]

Activity Percentile: 0.00

Registered: 2007-06-07 15:42