dune

ocaml-parsingsmolkaj/ocaml-parsing

A library and skeleton for writing OCaml parsers with beautiful error messages and minimal boilerplate.

Camomileyoriyuki/Camomile

A comprehensive Unicode library for OCaml providing character handling, string encodings, collation, and locale-sensitive operations.

biocamlbiocaml/biocaml

A high-performance, user-friendly OCaml library for bioinformatics applications.

Decompressmirage/decompress

A pure OCaml library implementing DEFLATE, Zlib, Gzip, and LZO compression/decompression algorithms.

WasmCert-CoqWasmCert/WasmCert-Coq

A mechanized formalization of WebAssembly 2.0 in Coq (Rocq) with soundness proofs and an extracted interpreter.

cryptokitxavierleroy/cryptokit

A comprehensive OCaml library providing cryptographic primitives like ciphers, hashes, and public-key cryptography for security-sensitive applications.

ocaml-rpcmirage/ocaml-rpc

A lightweight OCaml library for remote procedure calls (RPC) with XML/JSON encoding and code generation via PPX.

ocaml-urimirage/ocaml-uri

An RFC3986-compliant URI/URL parsing library for OCaml with multiple parser backends.

modern-ocamlKhady/modern-ocaml

A template for OCaml projects with modern tooling including dune build system, LSP server, and CI setup.

Digestifmirage/digestif

A comprehensive OCaml toolbox implementing multiple hash algorithms with both C and OCaml backends.

ppx_importocaml-ppx/ppx_import

An OCaml syntax extension for importing types and signatures from compiled interface files to reduce redundancy.

Hoare Type Theoryimdea-software/htt

A verification system for reasoning about heap-manipulating programs using Separation logic embedded in Coq.

Hydras & Co.coq-community/hydra-battles

A Coq-based project exploring hydra battles, ordinal numbers, addition chains, and Gödel's incompleteness theorem through formalized mathematics.

Smt.mlformalsec/smtml

A multi-backend SMT solver frontend for OCaml providing a consistent interface to various solvers.

Kafkadidier-wenzek/ocaml-kafka

OCaml bindings for Apache Kafka, enabling Kafka client functionality in OCaml applications.

AMQPandersfugmann/amqp-client

An OCaml client library for AMQP 0.9.1 and RabbitMQ extensions, supporting both Async and Lwt concurrency models.

ocurlygrek/ocurl

OCaml bindings to libcurl for client-side URL transfers supporting HTTP and multiple network protocols.

ObeliskLelio-Brun/Obelisk

A multi-format pretty-printer for Menhir parser files, generating LaTeX, HTML, and EBNF outputs.