Similar repositories to pa-ba/alacarte-idris:

• pa-ba/alacarte-idris github similar
• edmundnoble/atlast github similar
• jdublu10/STLC-to-SKI github similar
• fvlankvelt/emmy github similar
• ayberkt/agda-brzozowski github similar
• holmuk/coq-zipper github similar
• Ptival/HaysTac github similar
• beje8442/haskellToCoqCompiler github similar
• joom/idris-microKanren github similar
• jan-christiansen/Language-based-Security github similar
• aaronvargo/naperian github similar
• bamboo/idris-hamt github similar
• aatxe/cube.idr github similar
• epost/purescript-grasp github similar
• ssomayyajula/elab github similar
• andreasabel/shift-reset-dsl github similar
• UU-ComputerScience/uu-cco github similar
• KolodeznyDiver/THEff github similar
• jespercockx/ttac github similar
• Fermat/dependent-fold github similar
• superfunc/tp github similar
• pigworker/InteriorDesign github similar
• jdublu10/pacman github similar
• finnteegen/pflp github similar
• paf31/purescript-lens-simple github similar
• viercc/matchable github similar
• rodrigogribeiro/idrisregexp github similar
• yurrriq/idris-logic github similar
• FreeProving/free-proving-code github similar
• wouter-swierstra/predicate-transformers github similar
• lukeg101/MScProjectPublic github similar
• LightAndLight/idris-but-its-c github similar
• TimRichter/CId github similar
• DmxLarchey/ite-normalisation github similar
• yannham/visual-goi github similar
• nikivazou/proof-combinators github similar
• phadej/lens-laws github similar
• hablapps/LensAlgebra github similar
• ankitku/TAL0 github similar
• danelahman/Directed-Containers github similar