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

A static analyzer for Java, C, C++, and Objective-C

Performant type-checking for python.

The core OCaml system: compilers, runtime system, base libraries

A code rewrite tool for structural search and replace that supports ~every language.

Tools for code analysis, visualizations, or style-preserving source transformation.

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

Context sensitive completion for OCaml in Vim and Emacs

Programming Languages Zoo

A mixture of tooling combined to produce JavaScript from OCaml & Reason

A functional programming language based on algebraic effect handlers

Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

A high performance, memory efficient, and scalable web server written in OCaml

Pure OCaml Git format and protocol

Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.

An OCaml lexer generator for Unicode

A filesystem interface to git repositories

Web library for OCaml with support for HTTP/1.X / HTTP/2

An OCaml custom runtime for AWS Lambda and Vercel

Native implementation of React's Server-side rendering (SSR) and React Server Components (RSC) architecture for Reason and OCaml

extensible Markdown library and tool in "pure OCaml"