Similar repositories to joom/idris-microKanren:

• joom/idris-microKanren github similar
• danistefanovic/build-your-own-x github similar
• jdublu10/STLC-to-SKI github similar
• imuli/flow github similar
• ayberkt/agda-brzozowski github similar
• clarissalittler/pi-calculus github similar
• tm507211/CoqPerceptron github similar
• WikiNoi/WikiNoi github similar
• superfunc/tp github similar
• jdublu10/pacman github similar
• pigworker/InteriorDesign github similar
• UlrikBuchholtz/nominal-hott github similar
• gstew5/games github similar
• llelf/bx github similar
• pa-ba/alacarte-idris github similar
• FreeProving/free-proving-code github similar
• amutake/coq-extensible-effects github similar
• bravit/csd-utwente github similar
• ziman/itt github similar
• rodrigogribeiro/idrisregexp github similar
• yannham/visual-goi github similar
• AndrasKovacs/preordertt github similar
• YouyouCong/type-preserving-cps github similar
• vishesh/racketscript github similar
• danelahman/Directed-Containers github similar
• paf31/purescript-day github similar
• bedrocksystems/coq-lens github similar
• nachivpn/nbe-stlc github similar
• nbenton/x86proved github similar
• jdevuyst/rekenaar github similar
• rightfold/purescript-substructural github similar
• gergoerdi/syntactic-stlc github similar
• ayberkt/simplc github similar
• boomshroom/NovaLang github similar
• valis/DT2018 github similar
• gonzaw/extensible-records github similar
• srdqty/talc-3.0 github similar
• jonsterling/constructive-sheaf-semantics github similar
• jonnylaw/ComposableStateSpaceModels github similar
• superhaNds/cwfs github similar