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

Programming Languages Zoo

extprot: extensible binary protocols for cross-language communication and long-term serialization

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

abandoned in favor of https://github.com/orivej/go-nix and https://gitlab.com/jD91mZM2/rnix