Software Map

Project Tree

Now limiting view to projects in the following categories:
Kind :: Software [Remove This Filter]
Environment :: Web Environment [Remove This Filter]
Programming Language :: Prolog [Remove This Filter]

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

Activity Percentile: 14.98

Registered: 2008-11-24 17:53

LogolExec - LogolExec is a Logol grammar interpreter. It matches a grammar written in LOGOL language againts one or several dna/protein sequence. It also offers a result analyser interface and a graphical grammar creation tool. !WARNING!: code is now hosted on github at https://github.com/genouest/logol

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Web Environment (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Java[Filter]
Programming Language : Prolog (Now Filtering)
Research center : Rennes[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]

Activity Percentile: 0.00

Registered: 2008-05-23 12:03