Software Map
Project Tree
Now limiting view to projects in the following categories:
Environment :: Other Environment [Remove This Filter]
Operating System :: OS Independent [Remove This Filter]
Kind :: Software [Remove This Filter]
Natural Language :: English [Remove This Filter]
Programming Language :: Other [Remove This Filter]
8 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 (Now Filtering)
- Operating System : OS Independent (Now Filtering)
- Programming Language : ML[Filter]
- Programming Language : Other (Now Filtering)
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 72.21
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 (Now Filtering)
- Operating System : OS Independent (Now Filtering)
- Programming Language : Other (Now Filtering)
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 40.79
Registered: 2013-05-15 19:39 |
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 (Now Filtering)
- Operating System : OS Independent (Now Filtering)
- Programming Language : Other (Now Filtering)
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
- Topic : Scientific/Engineering : Visualization[Filter]
|
Activity Percentile: 18.73
Registered: 2015-11-13 10:21 |
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 (Now Filtering)
- Operating System : OS Independent (Now Filtering)
- Programming Language : Other (Now Filtering)
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.60
Registered: 2008-09-08 09:19 |
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 (Now Filtering)
- Operating System : OS Independent (Now Filtering)
- Programming Language : Other (Now Filtering)
- Research center : Sophia Antipolis[Filter]
- Topic : Scientific/Engineering : Medical Science Apps\.[Filter]
|
Activity Percentile: 0.00
Registered: 2009-06-15 09:13 |
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 (Now Filtering)
- Natural Language : French[Filter]
- Operating System : OS Independent (Now Filtering)
- 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 |
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 (Now Filtering)
- Operating System : OS Independent (Now Filtering)
- 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 |
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 (Now Filtering)
- Operating System : OS Independent (Now Filtering)
- Programming Language : Other (Now Filtering)
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering[Filter]
|
Registered: 2013-05-13 09:40 |
