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

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

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

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

Performant type-checking for python.

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

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

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

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

Programming language for literate programming law specification

A composable build system for OCaml.

Context sensitive completion for OCaml in Vim and Emacs

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Connect processes into powerful data pipelines with a simple git-like filesystem interface

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

Multicore OCaml

OCaml Language Server Protocol implementation

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

OCaml promises and concurrent I/O

Concurrent Programming with Effect Handlers

A language server for reason, in reason

💠 Converts Flow and TypeScript definitions to Reason interfaces

Adds Reason to the browser

Library for binding to C libraries using pure OCaml

Documentation compiler for OCaml and Reason

Compositional JSON encode/decode library for BuckleScript

ReScript's syntax as a standalone repo.

Base library and tools for ppx rewriters