Similar repositories to webyrd/igors-turing-machine:
webyrd/igors-turing-machine
github
similar
webyrd/strange-loop-2013
github
similar
juxt/crux
github
similar
GamestonkTerminal/GamestonkTerminal
github
similar
precog/quasar
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
shaunlebron/parinfer
github
similar
webyrd/interleaving-small-step-evaluation
github
similar
webyrd/Strange-Loop-2014
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
webyrd/Running-Backwards--Part-1
github
similar
stassa/thelma
github
similar
Oregu/untyped
github
similar
VincentToups/cljan
github
similar
thi-ng/ws-ldn-11
github
similar
namin/abi
github
similar
webyrd/automata-and-mutual-recursion
github
similar
jeapostrophe/automata
github
similar
jasonhemann/micro-in-mini
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
webyrd/normalization-by-evaluation
github
similar
stassa/metasplain
github
similar
gregr/ina
github
similar
cmsc430/www
github
similar
namin/clpset-miniKanren
github
similar
adam-james-v/bb-draw
github
similar
CompSciCabal/reading-material
github
similar
webyrd/hindley-milner-type-inferencer
github
similar
kshramt/sicp
github
similar
inconvergent/fracture-cuda
github
similar
clojurecup2014/parade-route
github
similar
jarcane/try-racket
github
similar