Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

A language that compiles to Bash and Windows Batch

MirageOS is a library operating system that constructs unikernels

Irmin is a distributed database that follows the same design principles as Git

A composable build system for OCaml.

Context sensitive completion for OCaml in Vim and Emacs

Implementations of various type systems in OCaml.

The Opa Language for Web Application Development

Owl - OCaml Scientific Computing @ https://ocaml.xyz

Compiler from OCaml to Javascript.

A functional programming language based on algebraic effect handlers

Universal toplevel for OCaml

Auto-formatter for OCaml code

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

✨Cross-platform set of tools for building native UIs with Reason/OCaml

OCaml bindings for PyTorch

Pure OCaml Git format and protocol

The Hindley Milner Type Inference Algorithm

A DNS server that automatically starts unikernels on demand

A PDF parser and validator

Full Stack ReasonML Tutorials

The Frenetic Programming Language and Runtime System

Hygienic typed literal macros (TLMs) for Reason

Terminal manipulation library for OCaml

Staged metaprogramming in stock OCaml

OCaml bindings for the Neovim API

OCaml implementation of the DNS protocol

easy setup from ocaml/reason native projects

Famous 99 problems in OCaml

An MVC library for writing interactive webpages in OCaml