6 Search Results
brotli
Bindings to Google's Brotli compresion algorithm
2.0.3
BSD-3-Clause
Used by 1 other packages
corecount
Get count of cores on machine
1.0.0
BSD-3-Clause
Used by 0 other packages
ezdl
Easy dynamic linking of C functions from ocaml
2.71.15
CECILL-2.1
Used by 1 other packages
lutin
Lutin: modeling stochastic reactive systems
2.71.15
CECILL-2.1
Used by 1 other packages
polka
Polka: convex polyhedron library by Bertrand Jeannet (now part of apron)
2.71.15
LGPL-2.1-or-later
Used by 1 other packages
qfs
Bindings to libqfs - client library to access QFS
0.12
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages