Software Map
Project Tree
Now limiting view to projects in the following categories:
Programming Language :: Objective-Caml [Remove This Filter]
Kind :: Software [Remove This Filter]
9 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 (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Operating System : OS Independent[Filter]
- 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 (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Operating System : OS Independent[Filter]
- 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 (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Rennes[Filter]
- Topic : Software Development : Compilers[Filter]
|
Registered: 2007-02-21 09:03 |
OCaml interfaces for various C libraries
- Set of OCaml interfaces for several OpenSource libraries (GMP, MPFR, CUDD).
|
- Development Status : 6 - Mature[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Programming Language : C[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Montbonnot[Filter]
- Topic : Software Development[Filter]
|
Registered: 2007-06-28 15:25 |
ocamlmex
- Ocamlmex is an Objective Caml library to embed ocaml code into Matlab or Octave
|
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Programming Language : C[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 40.32
Registered: 2008-02-25 15:40 |
MISC Competition
- Tools used for the Mancoosi International Solver Competition (MISC)
|
- Development Status : 5 - Production/Stable[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Topic : System : Software Distribution[Filter]
|
Activity Percentile: 0.00
Registered: 2012-10-06 07:46 |
Frama-C
- Frama-C is a platform for static analysis of C source code
|
- Development Status : 4 - Beta[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : Microsoft : Windows : Windows NT/2000[Filter]
- Operating System : POSIX[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Saclay - Ile de France[Filter]
- Topic : Security[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2008-01-23 14:35 |
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[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2006-03-02 09:04 |
Mlpost
- Mlpost is an OCaml library for scientific drawing. It allows, in particular, inclusion of LaTeX fragments. More information and examples can be found here: http://mlpost.lri.fr/
|
- 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 : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Operating System : POSIX[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Saclay - Ile de France[Filter]
- Topic : Multimedia : Graphics : Editors : Vector-Based[Filter]
- Topic : Multimedia : Graphics : Presentation[Filter]
|
Activity Percentile: 0.00
Registered: 2010-04-06 11:13 |
