Software Map
Project Tree
Now limiting view to projects in the following categories:
Research center :: Saclay - Ile de France [Remove This Filter]
Natural Language :: English [Remove This Filter]
Operating System :: OS Independent [Remove This Filter]
4 projects in result set.
0. 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 [Filter]
- 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: 27.65
Registered: 2006-06-21 14:09 |
1. Transalpyne programming language suite - Transalpyne is a toolkit written in Python to transpose, interpret, compile and otherwise manipulate programs written in TransAL, the Transposable Algebraic Language.
|
- Development Status : 2 - Pre-Alpha [Filter]
- Environment : Console \(Text Based\) [Filter]
- Intended Audience : Developers [Filter]
- Intended Audience : End Users/Desktop [Filter]
- Kind : Software [Filter]
- License : CeCILL [Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent (Now Filtering)
- Programming Language : Python [Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Mathematics [Filter]
- Topic : Software Development : Code Generators [Filter]
- Topic : Software Development : Interpreters [Filter]
|
Activity Percentile: 0.00
Registered: 2009-12-10 21:04 |
2. 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 [Filter]
- 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 |
3. 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 [Filter]
- 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 |
