Similar repositories to webyrd/mk-cps:

• webyrd/mk-cps github similar
• niitsuma/miniKanren-var-tailed-list github similar
• webyrd/templateo github similar
• webyrd/miniKanren-miniCourse github similar
• webyrd/relational-reactive-programming github similar
• webyrd/tree-automata github similar
• webyrd/declarative-semantics github similar
• webyrd/2012-scheme-workshop-quines-paper-code github similar
• webyrd/miniKanren-hangout-summaries github similar
• webyrd/normalization-by-evaluation github similar
• niitsuma/Racket-miniKanren github similar
• webyrd/curnelo github similar
• webyrd/hindley-milner-type-inferencer github similar
• webyrd/alphaKanren github similar
• rntz/minikanren-datalog github similar
• webyrd/cato github similar
• webyrd/anti-unification github similar
• orchid-hybrid/minimips github similar
• namin/metamk github similar
• webyrd/linear-logic-multiset-rewriting github similar
• webyrd/slpKanren github similar
• webyrd/TAPL-in-miniKanren-cKanren-core.logic github similar
• webyrd/miniKanren-uncourse github similar
• webyrd/dissertation-single-spaced github similar
• xuexue/neuralkanren github similar
• namin/staged-miniKanren github similar
• nickdrozd/reazon github similar
• ocharles/zero-to-quake-3 github similar
• wilbowma/cur github similar
• avelino/awesome-racket github similar
• the-little-typer/pie github similar
• idris-lang/Idris-dev github similar
• carp-lang/Carp github similar
• cisco/ChezScheme github similar