OCaml

ocaml-linenoiseocaml-community/ocaml-linenoise

Self-contained OCaml bindings to linenoise, providing easy high-level readline functionality without system dependencies.

core_benchjanestreet/core_bench

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

ppx_pgsqltizoc/ppx_pgsql

OCaml syntax extension for type-safe embedded SQL queries using PG'OCaml.

FreeSpeclthms/FreeSpec

A Coq framework for implementing, certifying, and executing impure computations with modular verification.

prometheusmirage/prometheus

OCaml library for reporting application metrics to Prometheus monitoring servers.

reflthierry-martinez/refl

OCaml PPX deriver providing runtime type representations for efficient, type-safe reflection and generic functions.

CumulusCumulus/Cumulus

A friendly and minimalist link sharing website built with OCaml and PostgreSQL.

Kemirage/ke

Fast, memory-efficient queue implementations in OCaml for functional and imperative use cases.

Waterproof proof languageimpermeable/coq-waterproof

A Coq plugin enabling proof writing in a natural, handwritten mathematical style to aid students in learning formal proof.

Liquid MLbenfaerber/liquid-ml

An OCaml implementation of Shopify's Liquid templating language, featuring an interpreter, parser, and lexer.

ocaml-m17nwhitequark/ocaml-m17n

Enables Unicode identifiers in OCaml source code, allowing non-English characters in variable, function, and type names.

ocaml-oidculrikstrid/ocaml-oidc

OpenID Connect client implementation in OCaml, currently focused on Relying Party functionality.

bistropveber/bistro

An OCaml library for building and executing typed, distributed scientific workflows with automatic dependency tracking.

Camelotupenn-cis1xx/camelot

A modular and fully-configurable OCaml linter and style checker for OCaml compiler versions 4.10.0 to 4.14.0.

dispatchinhabitedtype/ocaml-dispatch

A library for dispatching requests to handlers based on hierarchical URI paths in OCaml applications.

ocaml-vchanmirage/ocaml-vchan

Pure OCaml implementation of the Xen vchan protocol for fast inter-domain communication using shared memory.

easy-formatmjambon/easy-format

An OCaml library for easy indentation and pretty-printing of structured data.

Gojiklakplok/goji

A multi-tool for generating OCaml bindings to JavaScript libraries with OCaml-centric design and automated dependency handling.

Paramcoqcoq-community/paramcoq

A deprecated Coq plugin for generating parametricity statements and proofs from Coq definitions.

Waterproof editorimpermeable/waterproof

An educational environment for writing mathematical proofs in interactive notebooks, now available as a VS Code extension.

CoqPrimethery/coqprime

A Coq library for certifying primality using Pocklington and Elliptic Curve certificates, with efficient modular arithmetic.

binioumjambon/biniou

Extensible binary data format designed for speed, safety, and backward compatibility, offering a faster alternative to JSON.

TLCcharguer/tlc

A general-purpose Coq library providing an alternative to Coq's standard library with extensionality axioms and enhanced tactics.

Macaqueocsigen/macaque

A DSL for safe and composable SQL queries in OCaml using comprehensions and expressive types, built on PG'OCaml.

Docker-Coqcoq-community/docker-coq

Docker images for Coq proof assistant versions 8.4 to 8.20, based on Debian Slim with opam 2.x.

onanomsgrgrinberg/onanomsg

OCaml bindings for nanomsg, providing a ctypes-based interface to the lightweight messaging library.

dologUnixJunkie/dolog

A minimalistic lazy logger for OCaml console applications with optional coloring and custom prefixes.

Bazeljin/rules_ocaml

OCaml build rules for Bazel, enabling native and bytecode binary compilation with OPAM dependency management.

SyndicCumulus/Syndic

An OCaml library for parsing RSS and Atom feeds with a focus on type safety and reliability.

CoLoRfblanqui/color

A Rocq/Coq library providing formal definitions and mechanically verified proofs for rewriting theory, λ-calculus, and termination analysis.

AAC Tacticscoq-community/aac-tactics

A Coq plugin providing tactics for rewriting universally quantified equations modulo associativity and commutativity.

Ocaml-sklearnlehy/ocaml-sklearn

OCaml bindings for Python's scikit-learn machine learning library.

lrtLexiFi/lrt

A PPX-based OCaml extension for runtime type representations, enabling generic type-driven operations like automatic GUI generation and SQL schema derivation.

Uutfdbuenzli/uutf

A non-blocking streaming Unicode codec for OCaml supporting UTF-8, UTF-16, UTF-16LE, and UTF-16BE encoding schemes.

ocaml-pcremmottl/pcre-ocaml

OCaml bindings to the PCRE library, providing Perl-compatible regular expressions for string matching.

Simple IOLysxia/coq-simple-io

A library providing a purely functional IO monad for Coq, enabling direct implementation of IO programs with OCaml bindings.