Software Map

Project Tree

Now limiting view to projects in the following categories:
Intended Audience :: Developers [Remove This Filter]
Natural Language :: English [Remove This Filter]
Research center :: Rocquencourt [Remove This Filter]
Programming Language :: Objective-Caml [Remove This Filter]

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

13 projects in result set.

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 (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
Natural Language : English (Now Filtering)
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: 5.24

Registered: 2012-10-26 11:28

scicoslab - Management of the development of the Modelica compiler Simpa2. This compiler is used in particular in the scientific software package ScicosLab.

Development Status : 6 - Mature[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Objective-Caml (Now Filtering)
Research center : Rocquencourt (Now Filtering)
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2010-02-11 07:57

SODIAC - SODIAC stands for SOftware DIstribution Analysis Chain. Documentation is available on the wiki: http://gforge.inria.fr/plugins/wiki/index.php?id=929&type=g

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

Activity Percentile: 0.00

Registered: 2007-09-06 20:42

RCCL - Design and implementation of the RCCL v3 language

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

Activity Percentile: 0.00

Registered: 2010-09-09 12:59

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 (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English (Now Filtering)
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

Holide - An HOL to Dedukti translator.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : CeCILL-B[Filter]
Natural Language : English (Now Filtering)
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

Coqine - A Coq to Dedukti translator.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
Natural Language : English (Now Filtering)
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

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 (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
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: 0.00

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 (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX[Filter]
Programming Language : Objective-Caml (Now Filtering)
Research center : Rocquencourt (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2006-02-28 08:54

Puiseux's theorem - - Formal proof in Coq of Puiseux's theorem. - Program computing roots of a Puiseux series polynomial.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : CeCILL-B[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Objective-Caml (Now Filtering)
Programming Language : Other[Filter]
Research center : Rocquencourt (Now Filtering)
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2014-09-14 10:01

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 (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
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

Zenon (automated theorem prover) - Automated theorem prover for first order logic with equality, based on the tableau method.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : OSI Approved : BSD License[Filter]
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 : Rocquencourt (Now Filtering)
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2014-11-06 09:33

ArchSat - ArchSat is a prototype of a very modular SMT theorem prover using tableaux rules for deduction.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml (Now Filtering)
Research center : Rocquencourt (Now Filtering)
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Registered: 2015-07-17 09:15