flow

flow

11852 0,8,34,22,0,10,0,34

Adds static typing to JavaScript to improve developer productivity and code quality.

infer

infer

6725 0,8,9,0,7,5,6,0

A static analyzer for Java, C, C++, and Objective-C

Batsh

Batsh

3340 0,1,1,0,2,1,1,0

A language that compiles to Bash and Windows Batch

pfff

pfff

1985 0,1,0,1,0,-1,0,1

Tools for code analysis, visualizations, or style-preserving source transformation.

opam

opam

450 0,0,0,0,2,2,0,-1

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler install

bucklescript

bucklescript

2533 0,9,0,1,4,0,4

A backend for the OCaml compiler which emits JavaScript.

google-drive-ocamlfuse

google-drive-ocamlfuse

1293 0,1,1,1,2,0,4

FUSE filesystem over Google Drive

irmin

irmin

617 0,0,0,1,0

Irmin is a distributed database that follows the same design principles as Git

opalang

opalang

1118 0,0,0,0,0

The Opa Language for Web Application Development

ocaml

ocaml

1277 0,0,1,1,4

The core OCaml system: compilers, runtime system, base libraries

reason

reason

2782 0,9,2,2,3,2,3

Friendly Syntax & Toolchain Powered by OCaml

type-systems

type-systems

1036 0,0,0,0,3

Implementations of various type systems in OCaml.

utop

utop

282 0,0,0,0

Universal toplevel for OCaml

xen-api

xen-api

222 0,0,1,0

The Xapi Project's XenAPI Server

yojson

yojson

61 0,0,0,0

JSON parsing and pretty-printing library for OCaml