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

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

Pack JS code fast & easy

A composable build system for OCaml.

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

Compiler from OCaml to Javascript.

Universal toplevel for OCaml

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

OCaml promises and concurrent I/O

Hardcaml is an OCaml library for designing hardware.

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

KaRaMeL is a tool for extracting low-level F* programs to readable C code

The HOL Light theorem prover

Multi-tier framework for programming web and mobile applications in OCaml.

Build system for OCaml/Reason

ReHp

A prototype programming language for programming with runners

Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.

S-expression parsing library

Conway's Lifegame in Reason + reason-react with webpack + bs-loader.

Generate a list containing all values of a finite type

Visualization of Abelian sandpile model written in Reason + Obelisk.js.

Menhera, a javascript like functional programming language

I can't keep in mind a day of the week of my favorite animes' broadcast 😇