Software Map

Project Tree

Now limiting view to projects in the following categories:
Programming Language :: Objective-Caml [Remove This Filter]
Operating System :: OS Independent [Remove This Filter]

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

10 projects in result set.

Dose: library and tools - Dose is a library and a collection of tools to perform la large spectrum of analysis on package repositories. Dose manipulates packages repositories from different sources such as Debian, Rpm, Eclipse/Osgi and OpenCSW / Solaris .

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Objective-Caml (Now Filtering)
Topic : System : Software Distribution[Filter]

Registered: 2012-10-11 07:40

Cudf library - The Cudf library, originally developed in the Mancoosi project, is a reference implementation of the Common Upgradability Description Format
Development Status : 5 - Production/Stable[Filter] Intended Audience : Developers[Filter] Kind : Software[Filter] License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter] Operating System : OS Independent (Now Filtering) Programming Language : Objective-Caml (Now Filtering) Topic : System : Software Distribution[Filter]	Activity Percentile: 95.16 Registered: 2012-10-06 07:45

Javalib & Sawja - Javalib is a library to access and manipulate Java class files from OCaml. Sawja is a library that provides a program representation and allows its manipulation. It also provides intermediate representations and algorithms for static analysis.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Objective-Caml (Now Filtering)
Research center : Rennes[Filter]
Topic : Software Development : Compilers[Filter]

Registered: 2007-02-21 09:03

bzr - Controller synthesis for the design of embedded systems

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

Activity Percentile: 84.68

Registered: 2008-07-04 12:56

Nullability Inference Tool - NIT (Nullability Inference Tool) is a tool to infer non-null annotations for fields and methods in Java programs to be able to use annotation facility in Java 5 and the checkers that are developed by third parties.

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

Activity Percentile: 56.99

Registered: 2008-04-30 12:04

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

Activity Percentile: 6.99

Registered: 2010-02-11 07:57

Camlp5 - Camlp5 is a preprocessor pretty-printer for OCaml.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Objective-Caml (Now Filtering)
Topic : Software Development : Compilers[Filter]

Activity Percentile: 0.00

Registered: 2014-04-16 06:55

WAVE : a topological parallel language - WAVE is an experimental parallel programming language. It forces a programmer to think differently. One could say that it is "topological" because a WAVE program makes explicit how data are organized. The Fibonacci series writes 0;1{;+} in WAVE.

Development Status : 3 - Alpha[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software[Filter]
Kind : Work group[Filter]
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : JavaScript[Filter]
Programming Language : Objective-Caml (Now Filtering)
Research center : Nancy[Filter]
Topic : Software Development : Compilers[Filter]
Topic : Software Development : Interpreters[Filter]

Activity Percentile: 0.00

Registered: 2013-10-16 07:15

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[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : CeCILL-B[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Objective-Caml (Now Filtering)
Programming Language : Other[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2014-09-14 10:01

MISC Competition - Tools used for the Mancoosi International Solver Competition (MISC)
Development Status : 5 - Production/Stable[Filter] Intended Audience : Developers[Filter] Kind : Software[Filter] License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter] Operating System : OS Independent (Now Filtering) Programming Language : Objective-Caml (Now Filtering) Topic : System : Software Distribution[Filter]	Activity Percentile: 0.00 Registered: 2012-10-06 07:46