51 Search Results
archsat
A first-order theorem prover with formal proof output
1.1
BSD-2-Clause
Used by 0 other packages
asetmap
Alternative, compatible, OCaml standard library Sets and Maps
0.8.1
ISC
Used by 11 other packages
brotli
Bindings to Google's Brotli compresion algorithm
2.0.3
BSD-3-Clause
Used by 1 other packages
bsbnative
bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt
1.9.4
SEE LICENSE IN LICENSE
Used by 0 other packages
containers
A modular, clean and powerful extension of the OCaml standard library
3.10
BSD-2-Clause
Used by 65 other packages
core-and-more
Includes core, and some more useful extensions
0.0.1
MIT
Used by 0 other packages
corecount
Get count of cores on machine
1.0.0
BSD-3-Clause
Used by 0 other packages
crlibm
Binding to CRlibm, a correctly rounded math lib
0.5.1
LGPL-3.0
Used by 1 other packages
dolmen
A parser library for automated deduction
0.7
BSD-2-Clause
Used by 7 other packages
ezdl
Easy dynamic linking of C functions from ocaml
2.71.15
CECILL-2.1
Used by 1 other packages
farmhash
Bindings for Google's farmhash library
0.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
gammu
Cell phone and SIM card access
0.9.4
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
hdfs
Bindings to libhdfs
0.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
javascriptcore
OCaml bindings to JavaScriptCore
0.0.1
BSD-3-Clause
Used by 0 other packages
jemalloc
Bindings to jemalloc mallctl api
0.2
MIT
Used by 0 other packages
libra-tk
Learning and inference with discrete probabilistic models
libssh
Bindings to libssh
0.1
BSD-3-Clause
Used by 1 other packages
lilac
Get the value of any field in a YAML file as a string
0.1.1
MIT
Used by 0 other packages
lmdb
Bindings for LMDB, a fast in-file database with ACID transactions
lutin
Lutin: modeling stochastic reactive systems
2.71.15
CECILL-2.1
Used by 1 other packages
maxminddb
Bindings to Maxmind.com's libmaxminddb library, like geoip2
0.6
BSD-3-Clause
Used by 1 other packages
mesh-triangle
Binding to the triangle mesh generator
0.9.5
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
nlopt
OCaml bindings to the NLOpt optimization library
0.6.1
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 2 other packages
ocamlfind-lint
Simple tool performing checks on installed findlib META files
0.1.0
New BSD License
Used by 0 other packages
ocurl
Bindings to libcurl
0.9.2
MIT
Used by 17 other packages
plist
Native OCaml Plist manipulation
1.0.0
BSD-3-Clause
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
posix-mqueue
POSIX message queues
0.8.0-0
MIT
Used by 0 other packages
posix-semaphore
POSIX semaphore
0.5.0-0
MIT
Used by 0 other packages
proj4
Bindings to the PROJ.4 projection library
0.9.2
MIT
Used by 0 other packages
qbf
QBF solving in OCaml, including bindings to solvers
0.3
BSD-3-clause
Used by 0 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
smtlib-utils
Parser for SMTLIB2
0.4
BSD-2-Clause
Used by 0 other packages
snappy
Bindings to snappy - fast compression/decompression library
0.1.2
BSD-3-Clause
Used by 1 other packages
stdlib-shims
Backport some of the new stdlib features to older compiler
0.3.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 80 other packages
transept
Generalized parser combinator library
0.1.0
MIT
Used by 0 other packages
udunits
Bindings to the UDUNITS-2 library
0.2.0
MIT
Used by 0 other packages
uwt
libuv bindings
0.3.3
MIT
Used by 2 other packages
zstd
Bindings to zstd compression library
0.3
BSD-3-Clause
Used by 0 other packages