Found 17
Repository for the Beluga language
Bucklescript bindings for axios
GraphQL PPX rewriter for Bucklescript/ReasonML
GeneWeb is a genealogy software with a web interface created by Daniel de Rauglaudre. It can be installed locally on a stand-alone machine and on any web server.
Bamboo: a morphing smart contract language
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
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 development of machine-checked proofs.
A backend for the OCaml compiler which emits JavaScript.
Adds static typing to JavaScript to improve developer productivity and code quality.