Software Map
Project Tree
Now limiting view to projects in the following categories:
Development Status :: 2 - Pre-Alpha [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
5 projects in result set.
Euclide
- Euclide is a Constraint-Based Testing tool for verfying safety-critical C programs. It has three main applications: structural test data generation, counter-example generation, and partial program proving. It runs SICStus Prolog.
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Environment : Web Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL-C[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Prolog[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 3.21
Registered: 2008-11-24 17:53 |
Educational Image Library
- EdIL est une bibliothèque C++ basée sur SDL destinée à faciliter la programmation d'algorithmes sur les images ainsi que la gestion des évènements claviers et souris pour la manipulation d'images. Elle se destine aux étudiants apprenant le C++.
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Rennes[Filter]
- Topic : Education[Filter]
- Topic : Multimedia : Graphics[Filter]
|
Activity Percentile: 0.00
Registered: 2012-01-01 13:45 |
Toolbox for Opacity
- This Java toolbox is a set of tools dedicated to the study of the opacity of systems. Various notions of opacity are planned to be integrated such as normal opacity, k-opacity, and infinite opacity.
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Publication\(s\)[Filter]
- Kind : Software[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Programming Language : Java[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Security[Filter]
|
Activity Percentile: 0.00
Registered: 2010-03-09 11:24 |
stage
- A language model for dynamic code updating
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- License : OSI Approved : Python License[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft[Filter]
- Operating System : POSIX[Filter]
- Programming Language : Python[Filter]
- Research center : Rennes[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2008-07-25 08:52 |
Abilis
- Application Web basée sur le moteur logique de Camelis
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Environment : Web Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Programming Language : JavaScript[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rennes[Filter]
- Topic : Internet : WWW/HTTP : HTTP Servers[Filter]
- Topic : System : Filesystems[Filter]
|
Activity Percentile: 0.00
Registered: 2009-06-23 15:29 |
