Software Map

Project Tree

Now limiting view to projects in the following categories:
Natural Language :: English [Remove This Filter]
Development Status :: 2 - Pre-Alpha [Remove This Filter]
Kind :: Software [Remove This Filter]
Natural Language :: French [Remove This Filter]

Environment > Web Environment	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

2 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[Filter]
Kind : Software (Now Filtering)
License : CeCILL-C[Filter]
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Prolog[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development[Filter]

Activity Percentile: 14.37

Registered: 2008-11-24 17:53

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[Filter]
Kind : Software (Now Filtering)
Natural Language : English (Now Filtering)
Natural Language : French (Now Filtering)
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