Software Map
Project Tree
Now limiting view to projects in the following categories:
Kind :: Software [Remove This Filter]
Topic :: Software Development [Remove This Filter]
4 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[Filter]
- Kind : Software (Now Filtering)
- 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[Filter]
- Topic : Software Development (Now Filtering)
|
Activity Percentile: 83.67
Registered: 2009-09-16 08:55 |
Kaapi
- KAAPI "Kernel for Adaptative, Asynchronous Parallel and Interactive programming" is a C++ library that allows to execute fine/medium grain multithreaded computation with dynamic data flow synchronizations.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : OpenMP[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Fortran[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development (Now Filtering)
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 44.67
Registered: 2005-10-06 11:03 |
UMCTool
- UMCTool fills the gap between acquiring information about a platform using monitoring tools and perform realistic simulation in giving a way to aggregate/modify/manipulate those informations and translate them into SimGrid platform description language.
|
- Development Status : 3 - Alpha[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Montbonnot[Filter]
- Topic : Software Development (Now Filtering)
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 0.00
Registered: 2009-05-07 09:26 |
BioMAJ
- BioMAJ (BIOlogie Mises A Jour) is a workflow engine dedicated to biological bank management. The Software automates the update cycle and the supervision of the locally mirrored bank repository.
This repository holds the old v1 of BioMAJ. New release is available at https://github.com/genouest/biomaj
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Web Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : System Administrators[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- License : Public Domain[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Programming Language : Perl[Filter]
- Research center : Rennes[Filter]
- Topic : Internet : Log Analysis[Filter]
- Topic : Scientific/Engineering : Bio-Informatics[Filter]
- Topic : Software Development (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2006-05-12 12:33 |
