Software Map
Project Tree
Now limiting view to projects in the following categories:
Intended Audience :: Developers [Remove This Filter]
Topic :: Scientific/Engineering [Remove This Filter]
5 projects in result set.
Gappa
- Tool for verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It can be used either directly or as a back-end for other tools, e.g. Coq or Why.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development[Filter]
|
Activity Percentile: 86.01
Registered: 2009-09-16 08:55 |
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 (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Other[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 62.10
Registered: 2013-05-15 19:39 |
ZenoSolver
- ZenoSolver is a C++11 software dedicated to generate and solve MultiZenoTravel instances.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : OpenMP[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : CeCILL-B[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 5.83
Registered: 2014-04-03 06:13 |
Proof Manager
- Proof Manager is a test platform for SMT solvers, useful to run series of benchmarks (locally and distributed) and analyze results through a graphical interface.
|
- Development Status : 3 - Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : X11 Applications : Gnome[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2010-09-24 13:31 |
totitatu
- totitatu is a test project.
|
- Development Status : 1 - Planning[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Other[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Registered: 2013-05-13 09:40 |
