Similar repositories to darius/Bleaty-the-Lamb:

• darius/Bleaty-the-Lamb github similar
• danistefanovic/build-your-own-x github similar
• darius/quick-study github similar
• namin/reflection-schemes github similar
• dvanhorn/pcf github similar
• kragen/urscheme github similar
• ilya-klyuchnikov/mrsc github similar
• npe9/aop github similar
• namin/pink github similar
• plum-umd/abstracting-definitional-interpreters github similar
• manuel/taf github similar
• metaocaml/metaocaml-bibliography github similar
• TiarkRompf/collapsing-towers github similar
• standardml/twelf github similar
• slindley/effect-handlers github similar
• ntoronto/drbayes github similar
• marijnheule/microsat github similar
• rntz/rotten github similar
• jrslepak/Remora github similar
• gasche/popl2017-papers github similar
• pigworker/MetaprogAgda github similar
• namin/logically github similar
• andrejbauer/marshall github similar
• namin/staged-miniKanren github similar
• TiarkRompf/lancet github similar
• rodrigosetti/stamps github similar
• gasche/popl2016-papers github similar
• yallop/icfp2014-papers github similar
• namin/io.livecode.ch github similar
• calvis/cKanren github similar
• david-christiansen/pie-hs github similar
• mietek/total-fp github similar
• conal/talk-2018-essence-of-ad github similar
• darius/ichbins github similar
• chrisamaphone/interactive-lp github similar
• sorpaas/rux github similar
• ynniv/vagrant-opengenera github similar
• pirapira/ethereum-formal-verification-overview github similar
• clojure-numerics/expresso github similar
• akeep/nanopass-framework github similar