GitHub repository: ymyzk/fj
Primary language: OCaml
Created: 2015-06-15T07:31:37Z
Description: Featherweight Java type checker