dune

miragemirage/mirage

A library operating system for building secure, performant unikernels in OCaml.

BAPBinaryAnalysisPlatform/bap

A suite of utilities and libraries for analyzing binary programs, supporting multiple architectures and offering symbolic execution.

Irminmirage/irmin

Irmin is an OCaml library for building mergeable, branchable distributed data stores using Git-like principles.

merlinocaml/merlin

An editor service providing modern IDE features like context-sensitive completion for OCaml in Vim and Emacs.

ocaml-lspocaml/ocaml-lsp

A language server implementing the Language Server Protocol (LSP) for OCaml, providing editor support like autocompletion and diagnostics.

Opiumrgrinberg/opium

A Sinatra-like web toolkit for OCaml, built on httpaf and lwt for building lightweight, extensible web applications.

ocamlformatocaml-ppx/ocamlformat

An auto-formatter for OCaml code with customizable profiles and comment formatting.

ocaml-graphql-serverandreas/ocaml-graphql-server

A type-safe library for building GraphQL servers in OCaml with support for Lwt, Async, and subscriptions.

httpafinhabitedtype/httpaf

A high-performance, memory-efficient, and scalable HTTP/1.1 web server for OCaml, built with Angstrom and Faraday.

ocaml-containersc-cube/ocaml-containers

A modular, lightweight extension of OCaml's standard library focused on data structures, combinators, and iterators.

ppx_derivingocaml-ppx/ppx_deriving

A library for type-driven code generation in OCaml, providing plugins to derive common functions from type definitions.

Alcotestmirage/alcotest

A lightweight and colorful test framework for OCaml with quiet output and expressive test selection.

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.

ctypesocamllabs/ocaml-ctypes

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

ocaml-gitmirage/ocaml-git

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

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.

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.

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.

CoqOfOCamlclarus/coq-of-ocaml

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

Sedlexocaml-community/sedlex

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

Equationsmattam82/Coq-Equations

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

Lambda-Termocaml-community/lambda-term

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

Freneticfrenetic-lang/frenetic

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

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.

ocaml-vdomLexiFi/ocaml-vdom

OCaml bindings for browser DOM APIs and an implementation of the Elm architecture with virtual DOM for building web applications.

GeoCoqGeoCoq/GeoCoq

A formalization of geometry in Coq based on Tarski's axiom system, containing both foundational and high-school style proofs.

ppx_deriving_yojsonwhitequark/ppx_deriving_yojson

A ppx_deriving plugin that generates JSON serializers and deserializers for OCaml types using the Yojson library.

lablqmlKakadu/lablqml

A library for creating QtQuick/QML GUI applications in OCaml and Reason, providing bindings and a PPX syntax extension.

Caqti setence preparation, ppx_rapperroddyyaga/ppx_rapper

A syntax extension for writing type-safe SQL queries in OCaml with named parameters and PostgreSQL syntax checking.

SPOCmathiasbourgoin/SPOC

A PPX-based DSL for writing GPU kernels in OCaml syntax that compiles to multiple backends (CUDA, OpenCL, Vulkan, Metal).

SQLite3mmottl/sqlite3-ocaml

OCaml bindings to the SQLite3 database client API, enabling database operations from OCaml applications.