Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

PLTools/OCanren

Statically typed embedding of miniKanren relational programming language into OCaml

Owner: PLTools (organization)
Stars: Stars: 125
Forks: Forks: 18
Language: OCaml
License: LGPL-2.1
Created: 2015
Topics: minikanrenocamlrelational-programming
Tier: Prototype (100 to 249 ★) What this tier means

Nearby in OCaml

All OCaml repos

aprell/compiler-potpourriStars: 126OCamlPrototype
copy/gdbprofilerStars: 125OCamlPrototype
avsm/httpzStars: 125OCamlPrototype
ocaml-community/zedStars: 124OCamlPrototype
biocaml/biocamlStars: 123OCamlPrototype