6 Search Results
ezdl
Easy dynamic linking of C functions from ocaml
2.71.10
CECILL-2.1
Used by 1 other packages
javascriptcore
OCaml bindings to JavaScriptCore
0.0.1
BSD-3-Clause
Used by 0 other packages
lutin
Lutin: modeling stochastic reactive systems
2.71.10
CECILL-2.1
Used by 1 other packages
ocurl
Bindings to libcurl
0.9.2
MIT
Used by 14 other packages
polka
Polka: convex polyhedron library by Bertrand Jeannet (now part of apron)
2.71.10
LGPL-2.1-or-later
Used by 1 other packages