51 Search Results
archsat
A first-order theorem prover with formal proof output
asetmap
Alternative, compatible, OCaml standard library Sets and Maps
brotli
Bindings to Google's Brotli compresion algorithm
bsbnative
bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt
containers
A modular, clean and powerful extension of the OCaml standard library
core-and-more
Includes core, and some more useful extensions
corecount
Get count of cores on machine
crlibm
Binding to CRlibm, a correctly rounded math lib
dolmen
A parser library for automated deduction
dolmen_bin
A linter for logic languages
ezdl
Easy dynamic linking of C functions from ocaml
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
grib
Bindings for the ECMWF GRIB API
hdfs
Bindings to libhdfs
javascriptcore
OCaml bindings to JavaScriptCore
jemalloc
Bindings to jemalloc mallctl api
libra-tk
Learning and inference with discrete probabilistic models
1.1.2
BSD-2-clause
Used by 0 other packages
libssh
Bindings to libssh
lilac
Get the value of any field in a YAML file as a string
lmdb
Bindings for LMDB, a fast in-file database with ACID transactions
lutin
Lutin: modeling stochastic reactive systems
maxminddb
Bindings to Maxmind.com's libmaxminddb library, like geoip2
mesh-triangle
Binding to the triangle mesh generator
mindstorm-lwt
Drive Lego Mindstorms bricks from OCaml (LWT version)
0.8.1
LGPL-2.1
Used by 0 other packages
nlopt
OCaml bindings to the NLOpt optimization library
Michał Kurcewicz <michal.kurcewicz@gmail.com>
Christophe Troestler <Christophe.Troestler@umons.ac.be>
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
ocamlgraph_gtk
Displaying graphs using OCamlGraph and GTK
2.0.0
LGPL-2.1-only
Used by 1 other packages
ocurl
Bindings to libcurl
plist
Native OCaml Plist manipulation
polka
Polka: convex polyhedron library by Bertrand Jeannet (now part of apron)
posix-clock
POSIX clock
posix-math
POSIX math
posix-mqueue
POSIX message queues
posix-semaphore
POSIX semaphore
preface
An opinionated library for function programming (à La Haskell)
Didier Plaindoux <d.plaindoux@free.fr>
Pierre Ruyter <grimfw@gmail.com>
Xavier Van de Woestyne <xaviervdw@gmail.com>
1.0.0
MIT
Used by 0 other packages
proj4
Bindings to the PROJ.4 projection library
qbf
QBF solving in OCaml, including bindings to solvers
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
snappy
Bindings to snappy - fast compression/decompression library
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
udunits
Bindings to the UDUNITS-2 library