Software Map
Project Tree
Now limiting view to projects in the following categories:
Kind :: Software [Remove This Filter]
3 projects in result set.
XFOR Programming Tools
- This project includes all the software tools related to the XFOR loop programming structure and its usage in C/C++ programs. See http://xfor.gforge.inria.fr for more information.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : X11 Applications : Gnome[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : Public Domain[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : Unix Shell[Filter]
- Research center : Nancy[Filter]
- Topic : Software Development : Build Tools[Filter]
- Topic : Software Development : Code Generators[Filter]
- Topic : Software Development : Compilers[Filter]
|
Activity Percentile: 24.39
Registered: 2016-02-25 13:38 |
Dep2Pict
- The Dep2pict project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : X11 Applications : Gnome[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Nancy[Filter]
- Topic : Multimedia : Graphics : Editors[Filter]
- Topic : Multimedia : Graphics : Graphics Conversion[Filter]
- Topic : Multimedia : Graphics : Viewers[Filter]
|
Activity Percentile: 0.00
Registered: 2010-02-16 08:17 |
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[Filter]
- Kind : Software (Now Filtering)
- 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[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2010-09-24 13:31 |
