Similar repositories to webyrd/automata-and-mutual-recursion:

• webyrd/automata-and-mutual-recursion github similar
• danistefanovic/build-your-own-x github similar
• webyrd/meta-circular-interp-in-mk github similar
• dwijnand/sbt-dynver github similar
• tootsuite/mastodon github similar
• precog/quasar github similar
• lab-ml/annotated_deep_learning_paper_implementations github similar
• kimmyg/racket-abstract-interpretation github similar
• alvatar/smartmatter github similar
• hellogcc/wg github similar
• Tientuine/hopl3-code github similar
• webyrd/Running-Backwards--Part-1 github similar
• shaunlebron/parinfer github similar
• Oregu/untyped github similar
• webyrd/interleaving-small-step-evaluation github similar
• webyrd/miniKanren-miniCourse github similar
• bailu0508/Software-Engineering github similar
• ldct/www.xuanji.li github similar
• michaelballantyne/dKanren github similar
• webyrd/gentle-intro-to-mk github similar
• rparnas/sicp-ex github similar
• jeapostrophe/automata github similar
• webyrd/cato github similar
• klutometis/combinatorics github similar
• webyrd/first-class-macros github similar
• namin/lambdajam github similar
• conal/numbers-vectors-trees github similar
• roderyc/learners github similar
• bitwize/gamsock github similar
• klose911/mscheme github similar
• bboskin/syllogistic-provers github similar
• webyrd/igors-turing-machine github similar
• Ucombinator/Tapas github similar
• webyrd/cool-relational-interpreter-examples github similar
• namin/steps github similar
• cbrooks90/semiKanren github similar
• webyrd/peano-challenge github similar
• norswap/sigh github similar
• webyrd/strange-loop-2013 github similar
• stassa/thelma github similar