OCaml

Mazeppamazeppa-dev/mazeppa

A modern supercompiler for call-by-value functional languages that transforms programs via symbolic evaluation and metasystem transitions.

PyTorch bindingsLaurentMazare/ocaml-torch

OCaml bindings for PyTorch, providing NumPy-like tensor computations with GPU acceleration and automatic differentiation.

Ottott-lang/ott

A tool for writing definitions of programming languages and calculi, generating LaTeX and formal proof assistant code from a concise ASCII notation.

ctypesocamllabs/ocaml-ctypes

A library for binding to C libraries using pure OCaml, eliminating the need for C stub functions.

Lambda Soupaantron/lambda-soup

A functional HTML scraping and manipulation library for OCaml with CSS selector support.

cilcil-project/cil

A front-end for the C programming language that simplifies code for analysis and transformation.

Nottypqwy/notty

A declarative terminal graphics library for OCaml that abstracts terminal programming with composable images.

ocaml-gitmirage/ocaml-git

A pure OCaml implementation of Git's storage format and network protocols for reading and writing Git objects.

yojsonocaml-community/yojson

A low-level JSON and JSON5 parsing and pretty-printing library for OCaml.

Caqtipaurkedal/ocaml-caqti

A monadic cooperative-threaded OCaml connector API for relational databases with driver support for MariaDB, PostgreSQL, and SQLite.

atdgenahrefs/atd

A syntax for defining cross-language data types to generate type-safe serializers, deserializers, and validators for JSON APIs.

Cmdlinerdbuenzli/cmdliner

A declarative library for defining command line interfaces in OCaml, handling parsing, help, and man pages.

MLDonkeyygrek/mldonkey

A cross-platform multi-network peer-to-peer daemon for downloading files from various P2P networks.

learn-ocamlocaml-sf/learn-ocaml

A web-based platform for learning OCaml with an interactive toplevel, exercise environment, and lesson directory.

ocaml-tlsmirleft/ocaml-tls

A pure OCaml implementation of the Transport Layer Security (TLS) protocol for secure communication.

Bisect_ppxaantron/bisect_ppx

A code coverage tool for OCaml and ReScript that instruments code to show what's not tested.

spark-2014AdaCore/spark2014

A programming language and verification toolset for engineering high-reliability, safety-critical, and secure applications.

Jupyterakabe/ocaml-jupyter

An OCaml kernel for Jupyter notebooks, providing an OCaml REPL with markdown/HTML documentation, LaTeX, and image embedding.

OwiOCamlPro/owi

An automatic bug-finding tool for C, C++, Go, Rust, and Zig using WebAssembly-level symbolic execution.

spintmattio/spin

A project generator for OCaml that quickly scaffolds real-world applications and libraries.

Parallel programming in multicore OCamlocaml-multicore/parallel-programming-in-multicore-ocaml

A tutorial on writing parallel programs in Multicore OCaml using domainslib for task pools, parallel loops, and async/await.

QuickChickQuickChick/QuickChick

A randomized property-based testing plugin for Coq, enabling automated test generation and verification within proof assistants.

tensorflow-ocamlLaurentMazare/tensorflow-ocaml

OCaml bindings for TensorFlow, enabling machine learning and neural network development in a functional programming environment.

CoqOfOCamlclarus/coq-of-ocaml

Translates OCaml programs to Coq for formal verification of properties like invariants and absence of failures.

coq-of-ocamlformal-land/coq-of-ocaml

Translates OCaml programs to Coq for formal verification of properties like invariants, absence of failures, and backward compatibility.

Sedlexocaml-community/sedlex

A Unicode-aware lexer generator for OCaml that embeds lexer specifications directly in OCaml source files.

Reocaml/ocaml-re

A pure OCaml regular expression library supporting Perl, POSIX, Emacs, and glob patterns with DFA-based matching.

OCamlgraphbacktracking/ocamlgraph

A comprehensive, modular graph library for OCaml providing multiple graph implementations and algorithms.

Coq Platformcoq/platform

A dependable, cross-platform distribution of the Rocq proof assistant with a curated selection of libraries and tools.

Equationsmattam82/Coq-Equations

A function definition plugin for Rocq/Coq that provides notation for dependent pattern-matching and well-founded recursion.

OCaml Debuggerhackwaly/ocamlearlybird

A debug adapter for OCaml programs that implements the Debug Adapter Protocol for VS Code integration.

camlPDFjohnwhitington/camlpdf

An OCaml library for reading, writing, and modifying PDF files, serving as the foundation for the CPDF toolchain.

Freneticfrenetic-lang/frenetic

An open-source SDN controller platform that makes network programming easy, modular, and semantically correct.

Lambda-Termocaml-community/lambda-term

A cross-platform OCaml library for terminal manipulation with widgets and text editing.

webmachineinhabitedtype/ocaml-webmachine

A state-machine-based REST toolkit for OCaml that implements HTTP request processing with validation, authentication, and content negotiation.

piafanmonteiro/piaf

An OCaml HTTP client library supporting HTTP/1.X and HTTP/2 protocols.