OCaml

Decompressmirage/decompress

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

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.

coq-dpdgraphcoq-community/coq-dpdgraph

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

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.

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.

SSProveSSProve/ssprove

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

ocaml-mustachergrinberg/ocaml-mustache

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

slackoLeonidas-from-XIV/slacko

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

ocaml-redis0xffea/ocaml-redis

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

ocaml-zmqissuu/ocaml-zmq

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

Smt.mlformalsec/smtml

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

ocaml-makefilemmottl/ocaml-makefile

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

Metalibplclub/metalib

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

Kafkadidier-wenzek/ocaml-kafka

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

topkgdbuenzli/topkg

A packager for distributing OCaml software with an API to describe installation files and distribution procedures.

AMQPandersfugmann/amqp-client

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

ORMmirage/orm

An OCaml ORM library that automatically generates SQLite persistence functions from type definitions without manual SQL.

ObeliskLelio-Brun/Obelisk

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

ocurlygrek/ocurl

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

Q*certquerycert/qcert

A framework for developing and verifying domain-specific languages, with a focus on query, rules, and smart contract languages.

Unicoqunicoq/unicoq

A Coq plugin that replaces Coq's standard unification algorithm with an enhanced one supporting universe polymorphism and overloading.

cairo2Chris00/ocaml-cairo

OCaml binding for the Cairo 2D vector graphics library, enabling vector drawing and text rendering from OCaml applications.

mariadbocaml-community/ocaml-mariadb

OCaml bindings for MariaDB providing both blocking and nonblocking APIs, supporting prepared statements and integration with Lwt and Async.

odsowainlewis/ods

A comprehensive library of data structures and algorithms implemented in OCaml for educational purposes.

Mtac2Mtac2/Mtac2

A typed tactic language plugin for Coq that enables backward reasoning with a monadic interface.

PyCoqejgallego/pycoq

Python bindings and libraries for interacting with the Coq interactive proof assistant programmatically.

core_benchjanestreet/core_bench

A micro-benchmarking library for OCaml with ppx_bench syntax extension support.