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

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

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

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…

magic-trace collects and displays high-resolution traces of what a process is doing

A composable build system for OCaml.

A library for incremental computations

A functional programming language based on algebraic effect handlers

A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.

OCaml bindings for PyTorch

Static website generator based on HTML element tree rewriting

The Hindley Milner Type Inference Algorithm

Writing Emacs plugin in OCaml

A ReasonML/Ocaml library for category theory and abstract algebra

Hygienic typed literal macros (TLMs) for Reason

OCaml bindings for Python

OCaml bindings for the Neovim API

A compiler for the 🎃 Spooky 😱 programming language 👻

Make OCaml/Reason errors prettier

Less redundancy in type declarations and signatures

ARCHIVED. [@@deriving] plugin to generate Python conversion functions

Data visualization and plotting for OCaml

2017 advent of code, solved in Reason.