582 Search Results
ANSITerminal
Basic control of ANSI compliant terminals and the windows shell
0.8.5
LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
Used by 16 other packages
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
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
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
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
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
asetmap
Alternative, compatible, OCaml standard library Sets and Maps
0.8.1
ISC
Used by 11 other packages
astring
Alternative String module for OCaml
0.8.5
ISC
Used by 123 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
b0
Software construction and deployment kit
0.0.4
ISC; BSD-2-Clause
Used by 1 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
batsat
OCaml bindings for batsat, a SAT solver in rust
0.7
MIT
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
bigstring
A set of utils for dealing with `bigarrays` of `char`
bigstring-unix
I/O functions for bigstrings using file descriptors and memory-maps
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
bpf
Embedded eBPF assembler
0.2
BSD-3-Clause
Used by 0 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
bwrap
Use Bubblewrap to sandbox executables
ca-certs
Detect root CA certificates from the operating system
ca-certs-nss
X.509 trust anchors extracted from Mozilla's NSS
3.83
ISC
Used by 5 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
calipso
Rewrites C programs to remove non-structured control-flow
4.1.0
LGPL-2.0-only
Used by 0 other packages
camlrack
S-Expression parsing for OCaml
0.10.1
MIT
Used by 1 other packages
cbor
CBOR encoder/decoder (RFC 7049) - native OCaml implementation
0.5
MIT
Used by 2 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
certify
CLI utilities for simple X509 certificate manipulation
0.3.3
ISC
Used by 0 other packages
cgroups
An OCaml interface for the Linux control groups
0.1
BSD-3-Clause
Used by 0 other packages
chamo
Chamo is a source code editor, even if it can be used to edit any text file
3.0
LGPL-3.0-only
Used by 0 other packages
charrua-client
DHCP client implementation
1.5.0
ISC
Used by 0 other packages
charrua-client-lwt
A DHCP client using lwt as effectful layer
1.2.2
Used by 1 other packages
charrua-client-mirage
A DHCP client for MirageOS
1.2.2
Used by 1 other packages
cmdliner
Declarative definition of command line interfaces for OCaml
1.1.1
ISC
Used by 340 other packages
cohttp-mirage
CoHTTP implementation for the MirageOS unikernel
5.0.0
ISC
Used by 2 other packages
conduit
A network connection establishment library
conduit-async
A network connection establishment library for Async
conduit-async-ssl
A network connection establishment library using Async and OpenSSL
conduit-async-tls
A network connection establishment library using Async and ocaml-tls
conduit-lwt
A portable network connection establishment library using Lwt
conduit-lwt-ssl
A portable network connection establishment library using Lwt and OpenSSL
conduit-lwt-tls
A portable network connection establishment library using Lwt and ocaml-tls
conduit-lwt-unix
A network connection establishment library for Lwt_unix
conduit-mirage
A network connection establishment library for MirageOS
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.9
BSD-2-Clause
Used by 63 other packages
containers-data
A set of advanced datatypes for containers
3.9
BSD-2-Clause
Used by 5 other packages
containers-thread
An extension of containers for threading
3.9
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
cowabloga
Simple static blogging support
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
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+
Used by 0 other packages
datalog
An in-memory datalog implementation for OCaml
0.6
BSD-2-Clause
Used by 0 other packages
depyt
Yet-an-other type combinator library
0.3.0
ISC
Used by 0 other packages
dirsp-exchange
Published protocols for the authenticated message exchange
0.1.0
Apache-2.0
Used by 0 other packages
dirsp-exchange-kbb2017
The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol
dirsp-proscript
OCaml-ified interfaces for the ProScript Cryptography Library
dirsp-proscript-mirage
Mirage crypto backed implementation of the ProScript Cryptography Library
dirsp-ps2ocaml
ProScript to OCaml translator
0.1.0
Apache-2.0
Used by 0 other packages
disml
An OCaml library for interfacing with the Discord API
0.2.5
MIT
Used by 0 other packages
dnscurve
DNSCurve protocol for DNS queries over a secure channel
0.3.0
Used by 0 other packages
dnssd
DNS Service Discovery for macOS
0.5.0
ISC
Used by 1 other packages
dockerfile
Dockerfile eDSL in OCaml
8.0.0
ISC
Used by 5 other packages
dockerfile-cmd
Dockerfile eDSL - generation support
8.0.0
ISC
Used by 1 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
domainslib
Parallel Structures over Domains for Multicore OCaml
0.4.2
ISC
Used by 1 other packages
down
An OCaml toplevel (REPL) upgrade
0.1.0
ISC
Used by 0 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
electrumAnalyzer
A tool for the analysis of Electrum formal specifications.
0.3.5-2
GPL-3.0-or-later
Used by 0 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
esgg
Elasticsearch guided (code) generator
20190322
GPL-2.0-only
Used by 0 other packages
esperanto
An OCaml compiler with Cosmopolitan
esperanto-cosmopolitan
Cosmopolitan toolchain for OCaml compiler
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_hash
Hash functions: sha3, sha256, blake2b
0.2.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 1 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
ezjsonm
Simple interface on top of the Jsonm JSON library
1.3.0
ISC
Used by 44 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
fmt
OCaml Format pretty-printer combinators
0.9.0
ISC
Used by 292 other packages
fontforge-of-ocaml
OCaml binding of FontForge
1.1.0
LGPL-2.1-only
Used by 0 other packages
fpath
File system paths for OCaml
0.7.3
ISC
Used by 52 other packages
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
functoria-runtime
Runtime support library for functoria-generated code
future
Abstraction over Stdlib, Lwt, Async, and more.
0.2.0
ISC
Used by 1 other packages
gen
Iterators for OCaml, both restartable and consumable
1.0
BSD-2-Clause
Used by 13 other packages
genet
Genet is tool to build a continuous integration platform.
0.6
GPL-3.0-only
Used by 0 other packages
geoip
Bindings to GeoIP database library.
0.0.3
Used by 0 other packages
gg
Basic types for computer graphics in OCaml
1.0.0
ISC
Used by 7 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
gperftools
Bindings to gperftools
0.5
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-multipart-formdata
Http multipart/formdata parser
3.1.0
MPL-2.0
Used by 0 other packages
http_async
Async library for HTTP/1.1 servers
0.0.4
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
icalendar
A library to parse and print the iCalendar (RFC 5545) format
0.1.6
ISC
Used by 2 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
io-page
Support for efficient handling of I/O memory pages
3.0.0
ISC
Used by 50 other packages
io-page-unix
Support for efficient handling of I/O memory pages on Unix
2.3.0
ISC
Used by 34 other packages
io-page-xen
Support for efficient handling of I/O memory pages on Xen
ipaddr
A library for manipulation of IP (and MAC) address representations
5.3.1
ISC
Used by 80 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
iter
Simple abstraction over `iter` functions, intended to iterate efficiently on collections while performing some transformations
1.5
BSD-2-clause
Used by 21 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
json-derivers
Common Derivers for Jsonm/Yjson
1.0.0
ISC
Used by 2 other packages
jsonm
Non-blocking streaming JSON codec for OCaml
1.0.1
ISC
Used by 27 other packages
jupyter-kernel
Library to write jupyter kernels (interactive notebooks)
0.8
BSD-2-Clause
Used by 0 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
lemonade
A monad library with bubbles
0.6.0
CeCILL-B
Used by 3 other packages
libevent
OCaml wrapper for the libevent API
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
linol
LSP server library
0.4
MIT
Used by 2 other packages
linol-lwt
LSP server library (with Lwt for concurrency)
0.4
MIT
Used by 1 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
logs
Logging infrastructure for OCaml
0.7.0
ISC
Used by 251 other packages
lpd
A Line Printer Daemon (LPD) server library written entirely in OCaml.
1.2.2
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Used by 0 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
lwt_named_threads
Library to attach names and logs to Lwt threads (for debug/trace/objsize)
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
lzo
Bindings to LZO - a portable lossless data compression library
0.0.2
Used by 0 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
mechaml
A functional web scraping library
1.2.1
LGPL-3.0-or-later
Used by 0 other packages
memcpy
Safe and efficient copying between blocks of memory.
0.2.1
MIT
Used by 0 other packages
mesh
Triangular mesh generation and manipulation
0.9.5
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 3 other packages
mesh-easymesh
Triangular mesh generation with EasyMesh
0.9.5
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
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