Similar repositories to gtanzer/verse:
gtanzer/verse
github
similar
danistefanovic/build-your-own-x
github
similar
Spivoxity/pprolog
github
similar
elfion/NanoCAD
github
similar
darius/quick-study
github
similar
bracevac/corrl
github
similar
kaeluka/pldi14_preprints
github
similar
bodil/lms
github
similar
ptal/bonsai
github
similar
kevinsullivan/cs1113f16
github
similar
jasonhemann/miniKanren
github
similar
boyland/twelf-library
github
similar
fare/fare-quasiquote
github
similar
namin/lms-black
github
similar
51alg/TerpreT
github
similar
ezyang/metromaps
github
similar
shreevatsa/knuth-literate-programs
github
similar
namin/pink
github
similar
boxer-project/boxer-sunrise
github
similar
namin/clpsmt-miniKanren
github
similar
npe9/aop
github
similar
gregr/dbKanren
github
similar
TiarkRompf/collapsing-towers
github
similar
namin/propagators
github
similar
ilya-klyuchnikov/sc-mini
github
similar
ProjectMAC/propagators
github
similar
RichardEvans/apperception
github
similar
harc/relax-overveld
github
similar
namin/biohacker
github
similar
webyrd/relational-parsing-with-derivatives
github
similar
kstephens/tinyclos
github
similar
acfoltzer/Molog
github
similar
moridinamael/mc-aixi
github
similar
hydro-project/hydroflow
github
similar
alanb2718/wallingford
github
similar
darius/cant
github
similar
tca/veneer
github
similar
webyrd/untitled-relational-interpreter-book
github
similar
ntoronto/drbayes
github
similar
advancingdragon/meta
github
similar