59 Search Results
bare_encoding
BARE encoding, see https://baremessages.org/
bigstring
A set of utils for dealing with `bigarrays` of `char`
bigstring-unix
I/O functions for bigstrings using file descriptors and memory-maps
cconv
Combinators for Type Conversion in OCaml
cconv-ppx
Combinators for Type Conversion in OCaml
containers
A modular, clean and powerful extension of the OCaml standard library
containers-data
A set of advanced datatypes for containers
containers-thread
An extension of containers for threading
datalog
An in-memory datalog implementation for OCaml
ezcurl
Friendly wrapper around OCurl
ezcurl-lwt
Friendly wrapper around OCurl, Lwt version
gen
Iterators for OCaml, both restartable and consumable
iter
Simple abstraction over `iter` functions, intended to iterate efficiently on collections while performing some transformations
junit_ounit
JUnit XML reports generation for OUnit tests
2.0.2
LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
Used by 0 other packages
jupyter-kernel
Library to write jupyter kernels (interactive notebooks)
linol-lwt
LSP server library (with Lwt for concurrency)
lwt-pipe
An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer
maki
Persistent incremental computations, for repeatable tests and benchmarks.
mc2
A mcsat-based SMT solver in pure OCaml
msat
Library containing a SAT solver that can be parametrized by a theory
msat-bin
SAT solver binary based on the msat library
nunchaku
A counter-example finder for higher-order logic, designed to be used from various proof assistants
olinq
LINQ inspired queries on in-memory data
oseq
Simple list of suspensions, as a composable lazy iterator that behaves like a value
printbox
Allows to print nested boxes, lists, arrays, tables in several formats
printbox-html
Printbox unicode handling
printbox-text
Text renderer for printbox, using unicode edges
qbf
QBF solving in OCaml, including bindings to solvers
sequence
Simple and lightweight sequence abstract data type.
smbc
Experimental model finder/SMT solver for functional programming
smtlib-utils
Parser for SMTLIB2
sqlite3_utils
High-level wrapper around ocaml-sqlite3
tiny_httpd
Minimal HTTP server using good old threads
tiny_httpd_camlzip
Interface to camlzip for tiny_httpd
tip-parser
Parser for https://tip-org.github.io/format.html
zipperposition
A fully automatic theorem prover for typed higher-order and beyond
2.1
BSD-2-Clause
Used by 0 other packages