Embeddable Lambda Prolog Interpreter

A static parser for POSIX Shell

Cap'n Proto RPC implementation

OCANNL: OCaml Compiles Algorithms for Neural Networks Learning

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

OCaml Amqp client library for Async and Lwt.

TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)

Parallelize _anything_ //

🦠 Reusable components based on algebraic effects

Ocaml library to access Amazon S3

Basic control of ANSI compliant terminals and the windows shell.

Bitcoin data-structures library for OCaml

OCaml library for handling dates and times.

A dumb OCaml logger

♾️ A library for universe levels and universe polymorphism

👨🏻‍💻 Command line interface for user input

Minimalist OCaml library for command line parsing

A simple parser combinator library for Ocaml

👹 A library for hierarchical names and lexical scoping

Plugin for Google's protobuf compiler to generate interfaces based on protobuf specifications and runtime for encoding and decoding protobuf messages

Bisector tree implementation in OCaml

Lightweight library to experiment with quantum states, gates and simulating quantum algorithms.

Elliptic curve library secp256k1 wrapper for Ocaml

OCaml embedded eBPF assembler

Easy to use and user-friendly topological sort module for OCaml

OCaml bindings for clang

An OCaml modular and generalised parser combinator library.

🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory

🔙 Backward lists for OCaml

HOTP and TOTP algorithms for 2-step verification (for OCaml). :clock10: :closed_lock_with_key: :1234: :camel: