Adds static typing to JavaScript to improve developer productivity and code quality.

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

FUSE filesystem over Google Drive

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Unison file synchronizer

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

GraphQL servers in OCaml

Pure OCaml Git format and protocol

Immutable collections for the Reason programming language.

Patoline typesetting system

Real number computation software

A command line tool for edn processing and pretty printing

Cryptocurrency Portfolio Monitor

Ropes ("heavyweight strings") for OCaml

Bitcoin data-structures library for OCaml

Javascript bindings for Irmin

Example ReasonML app to find JavaScript event keycodes.