Discover your Favorite Language
Awesome repositories
Rankings by Country
microKanren
miniKanren
micro-in-mini
constraint-microKanren
microKanren-DLS-16
Roll-Your-Own-Relational-DSL
lambdajam2013
microKanren-shen
natlogic
small-micro-w-disequality
lambdastar
xform-mk
microKanren-extempore
constraint-micro-lambda-jam
dependently-typed-lang
22FA-CSAS4117
novel-miniKanren-synthesis-tasks
jot-code
mK-miniKanren-interpreter
micro-semantics
jasonhemann.github.io
mk-search-w-continuations
emacs
relational-quasiquote-unquote
lolchez
23SP-CS2126
21FA-CS4400
tfp-2023
multiple-of-threeo
Love Open Source and this site? Check out how you can help us