Software Map

Project Tree

Now limiting view to projects in the following categories:
Programming Language :: Objective-Caml [Remove This Filter]
Research center :: Rocquencourt [Remove This Filter]
Kind :: Software [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

7 projects in result set.

Yacclib - Yacclib is an OCaml library to parse and print ocamlyacc .mly files. A graphical editor of ocamlyacc files is included.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml (Now Filtering)
Research center : Rocquencourt (Now Filtering)
Topic : Software Development : Code Generators[Filter]

Activity Percentile: 12.27

Registered: 2005-11-29 08:30

Caml-get - Caml-get is a tool to distribute and get Objective-Caml code, in a way similar to the apt-get utility.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX[Filter]
Programming Language : Objective-Caml (Now Filtering)
Research center : Rocquencourt (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 2.45

Registered: 2006-02-28 08:54

Coqine - A Coq to Dedukti translator.
Development Status : 4 - Beta[Filter] Environment : Console \(Text Based\)[Filter] Intended Audience : Developers[Filter] Kind : Software (Now Filtering) Natural Language : English[Filter] Operating System : POSIX : GNU/Linux[Filter] Programming Language : Objective-Caml (Now Filtering) Research center : Rocquencourt (Now Filtering) Topic : Software Development[Filter]	Activity Percentile: 0.00 Registered: 2013-05-24 11:51

Holide - An HOL to Dedukti translator.

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-B[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml (Now Filtering)
Research center : Rocquencourt (Now Filtering)
Topic : Scientific/Engineering[Filter]

Registered: 2013-05-31 09:06

Dedukti - A type-checker for λΠ-modulo user-defined rewrite rules. The latest version is available under opam.

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

Activity Percentile: 0.00

Registered: 2012-10-26 11:28

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[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml (Now Filtering)
Research center : Rocquencourt (Now Filtering)
Topic : Scientific/Engineering : Bio-Informatics[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2006-03-13 08:48

OCaml-share - Share is a(nother) library of useful OCaml functions and modules. But it can be used as a classic OCaml library (download, compile, install, use and link with), or with Caml-get, since all elements are exported in a caml-get archive.

Development Status : 4 - Beta[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml (Now Filtering)
Research center : Rocquencourt (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2006-03-02 09:04