Software Map
Project Tree
Now limiting view to projects in the following categories:
Environment :: Console (Text Based) [Remove This Filter]
Operating System :: MacOS [Remove This Filter]
Natural Language :: English [Remove This Filter]
3 projects in result set.
GUIDE
- GUIDE is a Library (and a Graphical User Interface) that allows the generation of evolutionary algorithms suited to the user's needs (even if the user is not an Evolutionary Computation specialist). Two libraries are supported, EO and ECJ.
However, GUIDE is now dead, and this project is used for various projects in TAO.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS (Now Filtering)
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Java[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Education : Computer Aided Instruction \(CAI\)[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
- Topic : Software Development : Code Generators[Filter]
|
Activity Percentile: 60.65
Registered: 2008-01-10 17:14 |
TLA+ tools
- The Proof Manager and the GUI toolbox for the TLA+2 specification and proof language.
|
- Development Status : 3 - Alpha[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS (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 : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2009-09-21 09:47 |
Transcend With SOS
- A project related to my PhD thesis. The aim of the work is the certification of the lower and upper bounds of transcendental and semi-algebraic functions with COQ and external SOS solvers like SparsePOP, Gloptipoly, SDP libraries like CSDP or SDPA.
|
- Development Status : 1 - Planning[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : Public Domain[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS (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 : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2012-01-08 22:29 |
