Similar repositories to tszdanger/markov_rewrite:

• namin/refl-instr github similar
• michaelballantyne/backjumping-miniKanren github similar
• tszdanger/markov_rewrite github similar
• japoorv/biohacker-medikanren github similar
• maxsnyder2000/TheRelationalParser github similar
• jasonhemann/lambdajam2013 github similar
• fare/climbing github similar
• joom/direct-reflection-for-free github similar
• stassa/metasplain github similar
• david-christiansen/dan-scheme github similar
• stamourv/partial-evaluation-tutorial github similar
• conal/paper-2020-higher-order-ad github similar
• namin/clpsmt-miniKanren github similar
• wilbowma/cic-redex github similar
• webyrd/TAPL-in-miniKanren-cKanren-core.logic github similar
• kmcallister/qoppa github similar
• namin/biohacker github similar
• namin/pink github similar
• darius/cant github similar
• tca/veneer github similar
• ml4tp/gamepad github similar
• alhassy/gentle-intro-to-reflection github similar
• jsiek/B629-denotational github similar
• xuexue/neuralkanren github similar
• cdglabs/sketchpad14 github similar
• tonyg/pi-nothing github similar
• kach/recreational-rosette github similar
• donya/Kulitta github similar
• ranjitjhala/sprite-lang github similar
• PrincetonUniversity/COS461-Public github similar
• conal/talk-2018-essence-of-ad github similar
• wilbowma/cur github similar
• pycket/pycket github similar
• webyrd/mediKanren github similar
• TiarkRompf/virtualization-lms-core github similar
• akeep/scheme-to-c github similar
• rntz/datafun github similar
• crazydonkey200/neural-symbolic-machines github similar
• locuslab/SATNet github similar
• woodrush/lisp-in-life github similar