webyrd/n-grams-for-synthesis 35 commits

namin/clpsmt-miniKanren 24 commits

TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd 7 commits

webyrd/mediKanren 4 commits

webyrd/compositional-typing 4 commits

miniKanren/miniKanren_org-website 1 commit