namin / metamkView on GitHub
Prolog-Style Meta-Interpreters in miniKanren
33Mar 9, 2025Updated last year

Alternatives and similar repositories for metamk

Users that are interested in metamk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

Sorting:

Are these results useful?