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

V2 of Real World OCaml

Auto-formatter for OCaml code

✨Cross-platform set of tools for building native UIs with Reason/OCaml

ReHp

🐒 Clean UI based on tailwindcss

C-style preprocessor for OCaml

ppx extension for string interpolation