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.
BuckleScript is a JavaScript backend for OCaml focused on smooth integration and clean generated code.
Tezos is a distributed consensus platform with meta-consensus capability. Tezos not only comes to consensus about state, like BTC or ETH. It also comes to consensus about how the protocol and the nodes should adapt and upgrade.
Flow is a static typechecker for JavaScript. To find out more about Flow, check out flowtype.org.
Infer is a static analysis tool for Java, Objective-C and C, written in OCaml.