Similar repositories to webyrd/miniKanren-miniCourse:

• webyrd/miniKanren-miniCourse github similar
• webyrd/templateo github similar
• webyrd/meta-circular-interp-in-mk github similar
• webyrd/mk-cps github similar
• webyrd/gentle-intro-to-mk github similar
• webyrd/relational-reactive-programming github similar
• webyrd/Running-Backwards--Part-1 github similar
• webyrd/automata-and-mutual-recursion github similar
• vishesh/racketscript github similar
• webyrd/tree-automata github similar
• webyrd/declarative-semantics github similar
• webyrd/polyconf-2015 github similar
• webyrd/cool-relational-interpreter-examples github similar
• webyrd/normalization-by-evaluation github similar
• webyrd/curnelo github similar
• webyrd/alphaKanren github similar
• webyrd/cato github similar
• webyrd/anti-unification github similar
• webyrd/miniKanren-hangout-summaries github similar
• namin/metamk github similar
• webyrd/slpKanren github similar
• webyrd/miniKanren-uncourse github similar
• curiousdannii/gnusto github similar
• rvirding/flavors github similar
• tca/veneer github similar
• webyrd/dissertation-single-spaced github similar
• xuexue/neuralkanren github similar
• aarongough/flea github similar
• nickdrozd/reazon github similar
• namin/staged-miniKanren github similar
• turbopape/scheje github similar
• hxlnt/computers-are-easy github similar
• marcomaggi/vicare github similar
• DavidGriffith/frotz github similar
• wilbowma/cur github similar
• darius/ichbins github similar
• k-tsj/pattern-match github similar
• witchcrafters/quark github similar
• urlysses/1991 github similar
• JunSuzukiJapan/macro-lisp github similar