namin / staged-miniKanren

multi-stage relational programming for staged relational interpreters: running with holes, faster
128Updated this week

Alternatives and similar repositories for staged-miniKanren:

Users that are interested in staged-miniKanren are comparing it to the libraries listed below