GitHub repository: reubenrowe/ocaml-decml
Primary language: OCaml
Description: OCaml Library and PPX rewriter for abductive programming