OCaml

Logseqlogseq/logseq

A privacy-first, open-source platform for knowledge management and collaboration using a networked note-taking approach.

flowfacebook/flow

A static type checker for JavaScript that helps catch errors during development and improve code quality.

inferfacebook/infer

A static analyzer for Java, C, C++, and Objective-C that detects bugs and performance issues.

Official Coq wikicoq/coq

An interactive theorem prover providing a formal language to write mathematical definitions, algorithms, and theorems with machine-checked proof development.

coqcoq/coq

An interactive theorem prover providing a formal language to write mathematical definitions, algorithms, and theorems with machine-checked proof development.

ODiffdmtrKovalenko/odiff

A blazing-fast SIMD-optimized image comparison library with Node.js API for visual regression testing.

miragemirage/mirage

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

pffffacebookarchive/pfff

A set of tools and APIs for static analysis, code visualization, navigation, and style-preserving source transformations across multiple languages.

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.

duneocaml/dune

A fast, composable build system for OCaml that handles low-level compilation details with a simple project description.

BinCatairbus-seclab/bincat

A static binary code analysis toolkit for reverse engineers, featuring value/taint analysis, type reconstruction, and memory vulnerability detection.

Liquidsoapsavonet/liquidsoap

A statically typed scripting language and backend for multimedia streaming, file generation, automation, and HTTP services.

merlinocaml/merlin

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

owlowlbarn/owl

A dedicated OCaml system for scientific and engineering computing, providing n-dimensional arrays, linear algebra, algorithmic differentiation, and neural networks.

Terrateamterrateamio/terrateam

Open-source GitOps infrastructure orchestration that automates Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through GitHub pull requests.

utopocaml-community/utop

An enhanced OCaml REPL with line editing, context-sensitive completion, syntax highlighting, and Emacs integration.

Sailrems-project/sail

A language for formally specifying instruction-set architecture (ISA) semantics with tooling for emulators, documentation, and verification.

ocaml-lspocaml/ocaml-lsp

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

Fiat-Cryptomit-plv/fiat-crypto

Synthesizes formally verified, correct-by-construction C, Rust, Go, and other language code for cryptographic field arithmetic primitives.

Opiumrgrinberg/opium

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

ocaml-cohttpmirage/ocaml-cohttp

An OCaml library for building HTTP clients and servers with support for multiple asynchronous backends including Lwt, Async, and Eio.

ocamlformatocaml-ppx/ocamlformat

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

Angstrominhabitedtype/angstrom

A high-performance OCaml parser combinator library for network protocols and serialization formats.

Rhineartagnon/rhine-ml

A Clojure-inspired Lisp compiler built on LLVM JIT, exposing how Lisp constructs map to hardware.

Verdiuwplse/verdi

A Coq framework for implementing and formally verifying distributed systems with support for multiple fault models.

ocaml-graphql-serverandreas/ocaml-graphql-server

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

Bucklescript-TEAOvermindDL1/bucklescript-tea

A type-safe, event-driven web UI library for OCaml/BuckleScript following The Elm Architecture.

reason-apolloapollographql/reason-apollo

ReasonML bindings for Apollo Client and React Apollo, enabling type-safe GraphQL operations in ReasonReact applications.

MetaCoqMetaCoq/metacoq

A project formalizing the Rocq proof assistant in Rocq itself, providing tools for metaprogramming and developing certified plugins.

httpafinhabitedtype/httpaf

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

Batteries Includedocaml-batteries-team/batteries-included

A community-maintained foundation library for OCaml projects, providing a comprehensive standard library with consistent APIs.

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.

VeriFastverifast/verifast

A research prototype tool for modular formal verification of C, Rust, and Java programs using separation logic.