GitHub repository: objmagic/jaw
Primary language: OCaml
Description: Code using GADT