Similar repositories to michaelballantyne/dKanren:

• michaelballantyne/dKanren github similar
• webyrd/gentle-intro-to-mk github similar
• webyrd/tree-automata github similar
• webyrd/automata-and-mutual-recursion github similar
• michaelballantyne/miniKanren-occurrence-type-inferencer github similar
• niitsuma/Racket-miniKanren github similar
• webyrd/hindley-milner-type-inferencer github similar
• LudoTheHUN/adatx github similar
• webyrd/alphaKanren github similar
• webyrd/cato github similar
• webyrd/anti-unification github similar
• habemus-papadum/LilKanren.jl github similar
• webyrd/slpKanren github similar
• namin/clpsmt-miniKanren github similar
• webyrd/probKanren github similar
• webyrd/relational-parsing-with-derivatives github similar
• webyrd/dissertation-single-spaced github similar
• xuexue/neuralkanren github similar
• webyrd/miniKanren github similar
• calvis/cKanren github similar
• TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd github similar
• namin/staged-miniKanren github similar
• michaelballantyne/faster-miniKanren github similar
• webyrd/mediKanren github similar
• jasonhemann/microKanren github similar
• ndmitchell/hoogle github similar
• swank-js/swank-js github similar
• GaloisInc/HaLVM github similar
• eholk/harlan github similar
• google/schism github similar
• BOINC/boinc github similar
• dundalek/closh github similar
• FStarLang/FStar github similar
• Engelberg/instaparse github similar
• sdiehl/write-you-a-haskell github similar
• cisco/ChezScheme github similar
• idris-lang/Idris-dev github similar
• carp-lang/Carp github similar
• StackExchange/blackbox github similar
• Geal/nom github similar