Software Map
Project Tree
Now limiting view to projects in the following categories:
Programming Language :: Objective-Caml [Remove This Filter]
Natural Language :: English [Remove This Filter]
5 projects in result set.
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 (Now Filtering)
- 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[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English (Now Filtering)
- Programming Language : C[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Montbonnot[Filter]
- Topic : Software Development[Filter]
|
Registered: 2007-06-28 15:25 |
Simplet
- Simplet is a solver for tropical linear optimization problems. It relies on the tropicalization of the simplex method.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English (Now Filtering)
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 20.05
Registered: 2015-02-17 11:36 |
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[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English (Now Filtering)
- 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[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[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2006-03-02 09:04 |
