427 Search Results
aio
Linux kernel AIO access library for ocaml
0.0.3
Used by 0 other packages
alt-ergo
The Alt-Ergo SMT prover
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1; LGPL-2.1-only
Used by 4 other packages
alt-ergo-lib
The Alt-Ergo SMT prover library
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
Used by 3 other packages
alt-ergo-parsers
The Alt-Ergo SMT prover parser library
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
Used by 2 other packages
altgr-ergo
The GUI for the Alt-Ergo SMT prover
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
Used by 1 other packages
annot
annotation parser for external editors and IDEs
1.1.0
Used by 0 other packages
archsat
A first-order theorem prover with formal proof output
1.1
BSD-2-Clause
Used by 0 other packages
async_graphics
Async wrapper for the OCaml Graphics library
0.7.0
LGPL-2.0-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
balancer
A collection of load balancing algorithms implemented in pure Ocaml
1.0
MIT
Used by 0 other packages
bare_encoding
BARE encoding, see https://baremessages.org/
0.3
MIT
Used by 0 other packages
bastet
An OCaml library for category theory and abstract algebra
2.0.0
BSD-3-Clause
Used by 2 other packages
bastet_async
Async implementations for bastet
0.1.0
BSD-3-Clause
Used by 0 other packages
bastet_lwt
Lwt implementations for bastet
0.1.0
BSD-3-Clause
Used by 0 other packages
bech32
Bech32 addresses for OCaml (see https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)
0.1
ISC
Used by 0 other packages
benchmark
Benchmark running times of code
1.6
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Used by 14 other packages
bimage
A simple, efficient image-processing library
0.6.0
ISC
Used by 3 other packages
bimage-display
Window system for Bimage
0.6.0
ISC
Used by 0 other packages
bimage-gtk
Bimage_gtk allows images to be displayed in GTK windows
0.2.1
ISC
Used by 0 other packages
bimage-io
Input/output for Bimage using OpenImageIO
0.6.0
ISC
Used by 0 other packages
bimage-lwt
A simple, efficient image-processing library (LWT bindings)
0.4.0
ISC
Used by 0 other packages
bimage-sdl
Bimage_gtk allows images to be displayed using SDL
0.2.1
ISC
Used by 0 other packages
bimage-unix
Bimage_unix provides methods for encoding/decoding images in many formats using ImageMagick/stb_image
0.6.0
ISC
Used by 0 other packages
bitwuzla
SMT solver for AUFBVFP
1.0.3
MIT
Used by 0 other packages
bitwuzla-bin
Bitwuzla SMT solver executable
1.0.0
MIT
Used by 0 other packages
bitwuzla-c
SMT solver for AUFBVFP (C API)
1.0.3
MIT
Used by 1 other packages
broken
The Broken package is a simple testsuite framework.
0.4.2
CeCILL-B
Used by 7 other packages
brotli
Bindings to Google's Brotli compresion algorithm
2.0.3
BSD-3-Clause
Used by 1 other packages
brr
Browser programming toolkit for OCaml
0.0.3
ISC; BSD-3-Clause
Used by 2 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
calculon
Library for writing IRC bots in OCaml and a collection of plugins
0.8
MIT
Used by 1 other packages
calculon-redis
A redis plugin for Calculon
0.6
Used by 0 other packages
calculon-redis-lib
A library to interact with Calculon via Redis
0.6
Used by 1 other packages
calculon-web
A collection of web plugins for Calculon
0.8
MIT
Used by 0 other packages
calendar
Library for handling dates and times in your program
3.0.0
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 23 other packages
calipso
Rewrites C programs to remove non-structured control-flow
4.1.0
LGPL-2.0-only
Used by 0 other packages
cconv
Combinators for Type Conversion in OCaml
0.5
Used by 4 other packages
cconv-ppx
Combinators for Type Conversion in OCaml
0.5
Used by 0 other packages
cdrom
Query the state and contents of CDROM devices under Linux
0.9.4
Used by 0 other packages
cgroups
An OCaml interface for the Linux control groups
0.1
BSD-3-Clause
Used by 0 other packages
cmdliner
Declarative definition of command line interfaces for OCaml
1.1.1
ISC
Used by 353 other packages
conf-opencc0
Virtual package relying on opencc v0 (libopencc.so.1) installation
1
MIT
Used by 1 other packages
conf-opencc1
Virtual package relying on opencc v1 (libopencc.so.2) installation
1
MIT
Used by 1 other packages
conf-opencc1_1
Virtual package relying on opencc v1.1 (libopencc.so.1.1) installation
1
MIT
Used by 1 other packages
configuration
Analyse configuration files
0.4.1
CeCILL-B
Used by 1 other packages
conjury
Conjury library for OMake
2.1.1
BSD-2-Clause
Used by 1 other packages
containers
A modular, clean and powerful extension of the OCaml standard library
3.10
BSD-2-Clause
Used by 65 other packages
containers-data
A set of advanced datatypes for containers
3.10
BSD-2-Clause
Used by 5 other packages
containers-thread
An extension of containers for threading
3.10
BSD-2-Clause
Used by 0 other packages
coq-of-ocaml
Compile a subset of OCaml to Coq
2.5.2+4.13
MIT
Used by 0 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
crunch
Convert a filesystem into a static OCaml module
csv
A pure OCaml library to read and write CSV files
2.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 19 other packages
csv-lwt
A pure OCaml library to read and write CSV files, LWT version
2.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
csvtool
Command line tool for handling CSV files
2.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
ctoxml
Parses a C program into Cabs AST and dumps as an XML document
4.1.0
LGPL-2.0-only
Used by 0 other packages
cue_sheet_maker
A library to create cue sheet
0.1.1
GPL-3.0-or-later
Used by 0 other packages
cviode
Contact variational integrators - native ocaml version
0.0.4
MIT
Used by 0 other packages
disml
An OCaml library for interfacing with the Discord API
0.2.5
MIT
Used by 0 other packages
dolmen
A parser library for automated deduction
0.7
BSD-2-Clause
Used by 7 other packages
dolmen_loop
A tool library for automated deduction tools
0.7
BSD-2-Clause
Used by 4 other packages
dolmen_type
A typechecker for automated deduction languages
0.7
BSD-2-Clause
Used by 5 other packages
dream
Tidy, feature-complete Web framework
1.0.0~alpha4
MIT
Used by 12 other packages
drom
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
0.6.1
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
drom_lib
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
0.6.1
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 1 other packages
dropbox
Binding to the Dropbox Remote API
0.2
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Used by 1 other packages
dropbox_lwt_unix
Binding to the Dropbox Remote API (Unix)
0.2
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
dyntype
syntax extension which makes OCaml types and values easier to manipulate programmatically
0.9.0
ISC
Used by 2 other packages
enumerators
Finite lazy enumerators
0.2.0
BSD-2-Clause
Used by 0 other packages
erssical
Converting RSS event feeds to ical
1.1.0
LGPL-3.0-only
Used by 0 other packages
ez_cmdliner
Easy interface to Cmdliner à la Arg.parse with sub-commands
0.4.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 4 other packages
ez_config
Easy management of configuration files
0.2.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 3 other packages
ez_file
Easy file manipulation (read_file, write_file, etc.)
0.3.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 3 other packages
ez_opam_file
Package ez_opam_file is a simple compatibility layer on top of opam-file-format
0.1.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 2 other packages
ez_search
The ez_search library
0.2.2
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 1 other packages
ez_subst
Ez_subst is a simple module to perform string substitutions
0.2.1
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 2 other packages
ezcurl
Friendly wrapper around OCurl
0.2.1
MIT
Used by 3 other packages
ezcurl-lwt
Friendly wrapper around OCurl, Lwt version
0.2.1
MIT
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
ezjsonm
Simple interface on top of the Jsonm JSON library
1.3.0
ISC
Used by 47 other packages
ezjsonm-lwt
Simple Lwt-based interface to the Jsonm JSON library
1.3.0
ISC
Used by 0 other packages
ezxmlm
Combinators for parsing and selection of XML structures
1.1.0
ISC
Used by 8 other packages
FrontC
Parses C programs to an abstract syntax tree
4.1.0
LGPL-2.0-only
Used by 3 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
fat-filesystem
Pure OCaml implementation of the FAT filesystem
0.15.1
ISC
Used by 2 other packages
fd-send-recv
Bindings for sendmsg/recvmsg that allow Unix.file_descrs to be sent and received over Unix domain sockets
frama-c-lannotate
Lannotate plugin of Frama-C, part of the LTest suite
frama-c-luncov
Luncov plugin of Frama-C, part of the LTest suite
frama-c-metacsl
MetACSL plugin of Frama-C for writing pervasives properties
0.3
LGPL-2.1-only
Used by 0 other packages
funfields
Functional bit field library
0.04
restrictionless Zlib
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
gasoline
Unix-ish application development framework
0.5.0
CeCILL-B
Used by 0 other packages
genet
Genet is tool to build a continuous integration platform.
0.6
GPL-3.0-only
Used by 0 other packages
geojson
Pure OCaml library for GeoJSON
0.1.0
MIT
Used by 1 other packages
geojsone
Streaming GeoJSON library
0.1.0
MIT
Used by 0 other packages
getopts
Analyse command line arguments
0.4.0
CeCILL-B
Used by 1 other packages
gg
Basic types for computer graphics in OCaml
1.0.0
ISC
Used by 7 other packages
gitlab_pipeline_notifier
Watches GitLab pipelines and notifies on status updates using 'send-notify'
0.1
MIT
Used by 0 other packages
glical
Glical: glancing at iCalendar data.
0.0.7
ISC
Used by 0 other packages
glMLite
OpenGL bindings for OCaml
0.03.53
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
hdr_histogram
OCaml bindings to Hdr Histogram
0.0.2
MIT
Used by 1 other packages
hmap
Heterogeneous value maps for OCaml
0.8.1
ISC
Used by 12 other packages
http_async
Async library for HTTP/1.1 servers
0.2.0
MIT
Used by 0 other packages
hyper
Web client with HTTP/1, HTTP/2, TLS, and WebSocket support
1.0.0~alpha1
MIT
Used by 0 other packages
i3ipc
A pure OCaml implementation of the i3 IPC protocol
0.4
MIT
Used by 1 other packages
immutable
Pure Reason implementation of persistent immutable data structures.
0.0.15
BSD-3-Clause
Used by 0 other packages
integration1d
Collection of 1D numerical integration routines
interface-prime
Interfaces for common design patterns
0.1
Used by 2 other packages
interface-prime-lwt
Interfaces for common design patterns (LWT implementation)
0.1
Used by 0 other packages
ip2location
IP2Location OCaml module to get geolocation data
8.0.0
MIT
Used by 0 other packages
ipaddr
A library for manipulation of IP (and MAC) address representations
5.3.1
ISC
Used by 82 other packages
ipaddr-cstruct
A library for manipulation of IP address representations using Cstructs
5.3.1
ISC
Used by 2 other packages
ipaddr-sexp
A library for manipulation of IP address representations using sexp
5.3.1
ISC
Used by 8 other packages
iri
Implementation of Internationalized Resource Identifiers (IRIs)
0.6.0
LGPL-3.0-only
Used by 2 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
jsonm
Non-blocking streaming JSON codec for OCaml
1.0.1
ISC
Used by 27 other packages
junit_alcotest
JUnit XML reports generation for alcotest tests
2.0.2
LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
Used by 9 other packages
kdl
An implementation of the KDL document laguage
0.1.0
MIT
Used by 0 other packages
lablgtk-extras
A collection of additional tools and libraries to develop ocaml applications based on Lablgtk2.
1.6
LGPL-2.0-or-later
Used by 4 other packages
labrys
A toy language based on LLVM that implements the System Fω type-system
0.1
MIT
Used by 0 other packages
lbfgs
Bound-constrainted optimization in many variables
0.9.3
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Used by 2 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
libvhd
OCaml bindings for the C library 'libvhd' which allows the manipulation
0.9.0
Used by 0 other packages
libvirt
Libvirt is a portable toolkit to interact with the virtualisation capabilities of Linux, Solaris and other operating systems.
0.6.1.4
Used by 2 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
lilis
Library to Interpret Lindenmayer Systems
0.2.1
MIT
Used by 0 other packages
llopt
Just a tiny LLVM-IR optimizer for testing stuff.
1.0.0
MIT
Used by 0 other packages
llvmgraph
Ocamlgraph overlay for llvm
0.2
MIT
Used by 0 other packages
lmdb
Bindings for LMDB, a fast in-file database with ACID transactions
lru-cache
A simple implementation of a LRU cache.
0.3.0
BSD-3-Clause
Used by 1 other packages
lutin
Lutin: modeling stochastic reactive systems
2.71.15
CECILL-2.1
Used by 1 other packages
lwt-pipe
An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer
0.1
Used by 0 other packages
lz4
Bindings to the LZ4 compression algorithm
1.2.0
BSD-3-clause
Used by 3 other packages
macaddr
A library for manipulation of MAC address representations
5.3.1
ISC
Used by 22 other packages
macaddr-cstruct
A library for manipulation of MAC address representations using Cstructs
5.3.1
ISC
Used by 2 other packages
macaddr-sexp
A library for manipulation of MAC address representations using sexp
5.3.1
ISC
Used by 3 other packages
maki
Persistent incremental computations, for repeatable tests and benchmarks.
0.2
Used by 0 other packages
mastodon-archive-viewer
View your Mastodon archive offline
0.4.0
MIT
Used by 0 other packages
maxminddb
Bindings to Maxmind.com's libmaxminddb library, like geoip2
0.6
BSD-3-Clause
Used by 1 other packages
mc2
A mcsat-based SMT solver in pure OCaml
0.1
Apache
Used by 0 other packages
mechaml
A functional web scraping library
1.2.1
LGPL-3.0-or-later
Used by 0 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
message-switch
A simple store-and-forward message switch.
1.4.0
Used by 1 other packages
minima-theme
OCaml port of the Jekyll Minima theme
1.0.0
ISC
Used by 0 other packages
mirage-block-xen
MirageOS block driver for Xen that implements the blkfront/back protocol
2.1.1
ISC
Used by 0 other packages
mirage-clock-xen
A Mirage-compatible Clock library for Xen
1.1
Used by 2 other packages
mirage-console
Implementations of Mirage console devices
5.1.0
ISC
Used by 6 other packages
mirage-console-lwt
Implementation of Mirage consoles using Lwt
2.4.3
ISC
Used by 7 other packages
mirage-console-unix
Implementation of Mirage consoles for Unix
5.1.0
ISC
Used by 7 other packages
mirage-console-xen
Implementation of Mirage console for Xen
5.1.0
ISC
Used by 0 other packages
mirage-console-xen-backend
Implementation of Mirage console backend for Xen
5.1.0
ISC
Used by 1 other packages
mirage-console-xen-cli
Libraries for interacting with the Xen console command-line interface.
2.2.0
ISC
Used by 0 other packages
mirage-console-xen-proto
Implementation of Mirage console protocol for Xen
5.1.0
ISC
Used by 2 other packages
mirage-http
MirageOS-compatible implementation of the Cohttp interfaces
3.2.0
ISC
Used by 4 other packages
mirage-net-direct
TCP/IP networking stack in pure OCaml
0.9.4
Used by 1 other packages
mirage-net-socket
Socket-based networking stack compatible with Mirage
0.9.4
Used by 1 other packages
mirage-types-lwt
Lwt module type definitions for MirageOS applications
3.10.8
ISC
Used by 5 other packages
mirror
Mirror upstream OPAM package distribution files
0.0.1
ISC
Used by 0 other packages
monomorphic
A small library used to shadow polymorphic operators (and functions) contained in the stdlib
2.1.0
MIT
Used by 1 other packages
msat
Library containing a SAT solver that can be parametrized by a theory
0.9.1
Apache-2.0
Used by 4 other packages
msgpck
Fast MessagePack (http://msgpack.org) library
1.7
ISC
Used by 5 other packages
mtime
Monotonic wall-clock time for OCaml
1.4.0
ISC
Used by 49 other packages
nbd
Network Block Device (NBD) protocol implementation
6.0.1
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 4 other packages
nbd-tool
Network Block Device (NBD) protocol implementation
6.0.1
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 0 other packages
nbd-unix
Network Block Device (NBD) protocol implementation
6.0.1
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 1 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
note
Declarative events and signals for OCaml
0.0.2
ISC
Used by 1 other packages
oasis-mirage
This is a fork of OASIS with support for native output-obj.
0.3.0a
Used by 3 other packages
obi
interface to OCaml Build Infrastructure
1.0.0
ISC
Used by 1 other packages
ocaml-migrate-parsetree
Convert OCaml parsetrees between different versions
2.4.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 14 other packages
ocaml-migrate-parsetree-ocamlbuild
Ocamlbuild plugin for ocaml-migrate-parsetree
1.2.0
LGPL-2.1-only
Used by 0 other packages
ocaml-r
Objective Caml bindings for the R interpreter
0.5.0
GPL-3.0-only
Used by 0 other packages
ocaml-top
The OCaml interactive editor for education
1.1.5
GPL-3.0-only
Used by 0 other packages
ocaml-version
Manipulate, parse and generate OCaml compiler version strings
3.5.0
ISC
Used by 5 other packages
ocamlbuild-pkg
An ocamlbuild plugin that helps packaging softwares.
0.2.1
MIT
Used by 1 other packages
ocamlfind-lint
Simple tool performing checks on installed findlib META files
0.1.0
New BSD License
Used by 0 other packages
ocamlsdl2-ttf
Interface to the SDL2_ttf library
0.02
restrictionless Zlib
Used by 0 other packages
ocb-stubblr
OCamlbuild plugin for C stubs
0.1.1-1
ISC
Used by 14 other packages
ocf
OCaml library to read and write configuration files in JSON syntax
0.8.0
GPL-3.0-only
Used by 6 other packages
ocp-browser
Console browser for the documentation of installed OCaml libraries
1.3.4
GPL-3.0-only
Used by 0 other packages
ocp-indent
A simple tool to indent OCaml programs
1.8.1
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 11 other packages
ocp-index
Lightweight completion and documentation browsing for OCaml libraries
1.3.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception; GPL-3.0-only
Used by 5 other packages
ocp-pack-split
ocp-pack and ocp-split
1.0.1
Used by 0 other packages
ocp-reloc
Relocation of OCaml bytecode executables
0.1
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
ocp-search
The ocp-search tool to index/search source packages
0.2.2
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
ocplib_stuff
Basic stuff used by some OCP libraries and tools
0.3.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 2 other packages