Software Map
Project Tree
Now limiting view to projects in the following categories:
Environment :: Console (Text Based) [Remove This Filter]
Topic :: Scientific/Engineering [Remove This Filter]
Natural Language :: English [Remove This Filter]
Research center :: Saclay - Ile de France [Remove This Filter]
2 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\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development[Filter]
|
Activity Percentile: 86.29
Registered: 2009-09-16 08:55 |
ZenoSolver
- ZenoSolver is a C++11 software dedicated to generate and solve MultiZenoTravel instances.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : OpenMP[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : CeCILL-B[Filter]
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 47.16
Registered: 2014-04-03 06:13 |
