OCaml

ocaml-dnsmirage/ocaml-dns

A pure OCaml implementation of the DNS protocol supporting authoritative and recursive resolvers with strict conventions.

COWmirage/ocaml-cow

OCaml combinators for manipulating HTML, CSS, XML, JSON, and Markdown directly from OCaml code.

nocryptomirleft/ocaml-nocrypto

A small OCaml cryptographic library emphasizing applicative style and ease of use with basic ciphers, hashes, and public-key primitives.

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.

Vgdbuenzli/vg

A declarative 2D vector graphics library for OCaml with renderers for PDF, SVG, Cairo, and HTML canvas.

ocaml-urimirage/ocaml-uri

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

coq-dpdgraphcoq-community/coq-dpdgraph

A Coq plugin that extracts dependency graphs between Coq objects and provides tools for visualization and analysis.

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.

opam2nixtimbertson/opam2nix

Generates Nix expressions from OPAM packages to build OCaml projects within the Nix ecosystem.

ppx_importocaml-ppx/ppx_import

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

slapakabe/slap

An OCaml linear algebra library providing BLAS and LAPACK bindings with compile-time static size checking for matrix and vector operations.

Rockstardylanbeattie/rockstar

A dynamically typed programming language designed for writing programs that double as 1980s hard rock and power ballad lyrics.

slackoLeonidas-from-XIV/slacko

A complete OCaml interface to the Slack API with a command-line notification tool.

ocaml-mustachergrinberg/ocaml-mustache

A Mustache.js-compatible logic-less templating engine implemented in OCaml.

ocaml-zmqissuu/ocaml-zmq

OCaml bindings for ZeroMQ 4.x, providing message-passing capabilities for distributed systems.

ocaml-redis0xffea/ocaml-redis

Pure OCaml client library for Redis, offering both synchronous and LWT-based asynchronous bindings.

SSProveSSProve/ssprove

A foundational framework for modular cryptographic proofs in the Coq proof assistant, enabling state-separating proofs.

ocaml-makefilemmottl/ocaml-makefile

A generic Makefile for building small to medium-sized OCaml projects with minimal configuration.

Smt.mlformalsec/smtml

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

Metalibplclub/metalib

A Coq library for mechanizing programming language metatheory with locally nameless representation of binders.