59 Search Results
avro
Runtime library for encoding/decoding Avro
0.1
MIT
Used by 0 other packages
avro-compiler
Schema compiler for Avro
0.1
MIT
Used by 1 other packages
bare_encoding
BARE encoding, see https://baremessages.org/
0.3
MIT
Used by 0 other packages
benchpress
Tool to run one or more logic programs, on a set of files, and collect the results
0.1
Used by 1 other packages
benchpress-server
Server and web UI for benchpress
0.1
Used by 0 other packages
bencode
Bencode (`.torrent` file format) reader/writer in OCaml
2.0
MIT
Used by 2 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
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
choice
Choice monad, for easy backtracking
conf-rust
Virtual package relying on cargo (rust build system)
0.1
MIT
Used by 6 other packages
conf-rust-2018
Virtual package relying on cargo (rust build system)
1
MIT
Used by 2 other packages
conf-rust-2021
Virtual package relying on cargo (rust build system)
1
MIT
Used by 2 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
datalog
An in-memory datalog implementation for OCaml
0.6
BSD-2-Clause
Used by 0 other packages
decoders-bencode
Bencode backend for decoders
1.0.0
ISC
Used by 0 other packages
decoders-msgpck
Msgpck backend for decoders
eprover
E Theorem Prover
2.6
LGPL-2.1-or-later; GPL-2.0-or-later
Used by 0 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
gen
Iterators for OCaml, both restartable and consumable
1.0
BSD-2-Clause
Used by 13 other packages
irc-client
IRC client library - core functionality
0.7.0
MIT
Used by 5 other packages
irc-client-lwt
IRC client library - Lwt implementation
0.7.0
MIT
Used by 1 other packages
irc-client-lwt-ssl
IRC client library - Lwt SSL implementation
0.7.0
MIT
Used by 1 other packages
irc-client-tls
IRC client library - TLS implementation
0.7.0
MIT
Used by 1 other packages
irc-client-unix
IRC client library - Unix implementation
0.7.0
MIT
Used by 0 other packages
iter
Simple abstraction over `iter` functions, intended to iterate efficiently on collections while performing some transformations
1.6
BSD-2-clause
Used by 21 other packages
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)
0.8
BSD-2-Clause
Used by 0 other packages
linenoise
Lightweight readline alternative
1.4.0
BSD-3-clause
Used by 11 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
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
maki
Persistent incremental computations, for repeatable tests and benchmarks.
0.2
Used by 0 other packages
mc2
A mcsat-based SMT solver in pure OCaml
0.1
Apache
Used by 0 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
msat-bin
SAT solver binary based on the msat library
0.9.1
Apache-2.0
Used by 0 other packages
nunchaku
A counter-example finder for higher-order logic, designed to be used from various proof assistants
0.6
Used by 0 other packages
olinq
LINQ inspired queries on in-memory data
0.3
Used by 0 other packages
oseq
Simple list of suspensions, as a composable lazy iterator that behaves like a value
0.4.1
BSD-2-clause
Used by 12 other packages
printbox
Allows to print nested boxes, lists, arrays, tables in several formats
0.6.1
BSD-2-Clause
Used by 5 other packages
printbox-html
Printbox unicode handling
0.6.1
BSD-2-Clause
Used by 0 other packages
printbox-text
Text renderer for printbox, using unicode edges
0.6.1
BSD-2-Clause
Used by 1 other packages
qbf
QBF solving in OCaml, including bindings to solvers
0.3
BSD-3-clause
Used by 0 other packages
sequence
Simple and lightweight sequence abstract data type.
1.1
BSD-2-Clause
Used by 10 other packages
smbc
Experimental model finder/SMT solver for functional programming
0.6.1
Used by 0 other packages
smtlib-utils
Parser for SMTLIB2
0.4
BSD-2-Clause
Used by 0 other packages
sqlite3_utils
High-level wrapper around ocaml-sqlite3
0.5
MIT
Used by 0 other packages
tiny_httpd
Minimal HTTP server using good old threads
0.12
MIT
Used by 2 other packages
tiny_httpd_camlzip
Interface to camlzip for tiny_httpd
0.12
MIT
Used by 1 other packages
tip-parser
Parser for https://tip-org.github.io/format.html
0.6
Used by 1 other packages