Software Map
Project Tree
Now limiting view to projects in the following categories:
Operating System :: Microsoft :: Windows [Remove This Filter]
Topic :: Software Development [Remove This Filter]
License :: OSI Approved :: GNU General Public License (GPL) [Remove This Filter]
2 projects in result set.
Why3
- Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
The project is no longer maintained here. You can find the repository and the issue tracker at https://gitlab.inria.fr/why3/why3/
|
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : Microsoft : Windows (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Security[Filter]
- Topic : Software Development (Now Filtering)
|
Activity Percentile: 94.86
Registered: 2010-11-05 10:44 |
Simulateur et Framework robotique
- Utilisation de USARSim et MOAST dans le cadre de d'étude sur la navigation coopérative en milieu urbain.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : Win32 \(MS Windows\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : Microsoft : Windows (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2007-05-14 15:09 |
