4 Search Results
GT
Generic programming with extensible transformations
noCanren
Translator from subset of OCaml to OCanren
OCanren-ppx
Implementation of miniKanren relational (logic) EDSL: PPX extensions