Software Map

Project Tree

Now limiting view to projects in the following categories:
Programming Language :: Objective-Caml [Remove This Filter]
License :: CeCILL [Remove This Filter]
Kind :: Software [Remove This Filter]
Natural Language :: English [Remove This Filter]

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

3 projects in result set.

Rainbow - This project aims at developing a grammar for termination proofs and a tool for automatically certifying those proofs using the Coq library CoLoR.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL (Now Filtering)
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml (Now Filtering)
Topic : Scientific/Engineering[Filter]

Registered: 2006-09-07 09:02

leopar - the Leopar project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL (Now Filtering)
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml (Now Filtering)
Research center : Nancy[Filter]
Topic : Scientific/Engineering[Filter]

Registered: 2006-10-04 09:23

MyCGR - MyCGR is an Objective-Caml library and a collection of tools to make experiments using the Chaos Game Representation on DNA sequences (test of structure of sequences, taxonomy, ...).

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL (Now Filtering)
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml (Now Filtering)
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2006-03-13 08:48