3 Search Results
ctypes-zarith
Ctypes wrapper for zarith
0.2.0
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 1 other packages
mld
The MLD package makes directory foo.mld turn into module Foo
yices2_bindings
Ocaml bindings for yices2