Similar repositories to webyrd/Strange-Loop-2014:
webyrd/Strange-Loop-2014
github
similar
tootsuite/mastodon
github
similar
danistefanovic/build-your-own-x
github
similar
shaunlebron/parinfer
github
similar
ubuntu/microk8s
github
similar
pixijs/pixi.js
github
similar
lab-ml/annotated_deep_learning_paper_implementations
github
similar
webyrd/igors-turing-machine
github
similar
advancedresearch/closure_calculus
github
similar
webyrd/strange-loop-2013
github
similar
webyrd/interleaving-small-step-evaluation
github
similar
sheymans/eunomia
github
similar
webyrd/first-class-macros
github
similar
webyrd/mk-metacircular-interp
github
similar
webyrd/n-grams-for-synthesis
github
similar
bboskin/syllogistic-provers
github
similar
Oregu/untyped
github
similar
webyrd/Running-Backwards--Part-1
github
similar
stassa/thelma
github
similar
cmsc430/www
github
similar
namin/clpset-miniKanren
github
similar
DamesMakingGames/iV
github
similar
namin/abi
github
similar
CompSciCabal/reading-material
github
similar
orchid-hybrid/microKanren-sagittarius
github
similar
webyrd/tree-automata
github
similar
webyrd/automata-and-mutual-recursion
github
similar
dparis/gen-phzr
github
similar
namin/3-proto-lisp
github
similar
webyrd/declarative-semantics
github
similar
namin/reflective-towers
github
similar
iambrj/metaKanren
github
similar
gregr/dKanren
github
similar
VincentToups/DevilsPong
github
similar
webyrd/normalization-by-evaluation
github
similar
stassa/metasplain
github
similar
gregr/ina
github
similar
dparis/phzr-demo
github
similar
Kevinpgalligan/MonaLisaGoL
github
similar
michaelballantyne/meta-minikanren
github
similar