Software Map

Project Tree

Now limiting view to projects in the following categories:
Operating System :: OS Independent [Remove This Filter]
Research center :: Saclay - Ile de France [Remove This Filter]
Natural Language :: English [Remove This Filter]
Kind :: Software [Remove This Filter]

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

7 projects in result set.

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

Environment : Other Environment[Filter]
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 (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : ML[Filter]
Programming Language : Other[Filter]
Research center : Saclay - Ile de France (Now Filtering)
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 68.34

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[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : Other[Filter]
Research center : Saclay - Ile de France (Now Filtering)
Topic : Scientific/Engineering[Filter]

Activity Percentile: 45.86

Registered: 2013-05-15 19:39

totitatu - totitatu is a test project.

Development Status : 1 - Planning[Filter]
Environment : Other Environment[Filter]
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 (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : Other[Filter]
Research center : Saclay - Ile de France (Now Filtering)
Topic : Scientific/Engineering[Filter]

Registered: 2013-05-13 09:40

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 (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : C\+\+[Filter]
Programming Language : Java[Filter]
Research center : Saclay - Ile de France (Now Filtering)
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 (Now Filtering)
Natural Language : French[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : C\+\+[Filter]
Programming Language : Python[Filter]
Research center : Saclay - Ile de France (Now Filtering)
Research center : Sophia Antipolis[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2009-04-08 13:27

Grid4all Scheduling Service - The GRID Scheduling Service

Development Status : 1 - Planning[Filter]
Environment : No Input/Output \(Daemon\)[Filter]
Environment : Other Environment[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Saclay - Ile de France (Now Filtering)
Topic : System[Filter]

Activity Percentile: 0.00

Registered: 2007-12-28 08:17

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[Filter]
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 (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : C[Filter]
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Research center : Saclay - Ile de France (Now Filtering)
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2007-07-05 21:25