OCAML

Alphabetical index of projects in OCAML:

A	B	C	D	E	F	G
H	I	J	K	L	M	N
O	P	Q	R	S	T	U
V	W	X	Y	Z

B

BuckleScript is a JavaScript backend for OCaml focused on smooth integration and clean generated code.

C

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.

coq

F

Flow is a static typechecker for JavaScript. To find out more about Flow, check out flowtype.org.

I

Infer is a static analysis tool for Java, Objective-C and C, written in OCaml.

R

Reason is a alternate syntax for OCaml. It's simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

T

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.