Similar repositories to mokshasoft/idris-rts:

• mokshasoft/idris-rts github similar
• tuura/archer github similar
• mokshasoft/libsel4-idris-ffi github similar
• wenkokke/EnumeratingTheRationals github similar
• jdublu10/STLC-to-SKI github similar
• mokshasoft/sel4-idris-manifest github similar
• mokshasoft/sel4-idris-apps github similar
• ayberkt/agda-brzozowski github similar
• wilbowma/infernalize github similar
• aatxe/cube.idr github similar
• HuwCampbell/optparse-idris github similar
• jdublu10/pacman github similar
• ayberkt/chi github similar
• MathiasVP/idris-regex github similar
• ayberkt/Mini-TT github similar
• umazalakain/fyp github similar
• srdqty/talc-3.0 github similar
• gergoerdi/syntactic-stlc github similar
• ayberkt/simplc github similar
• liamoc/dddp github similar
• ziman/itt github similar
• JoeyEremondi/lambda-pi-constraint github similar
• jonsterling/lcf-sequent-calculus-example github similar
• YouyouCong/type-preserving-cps github similar
• takanuva/coc github similar
• ankitku/TAL0 github similar
• andreasabel/ipl github similar
• benjaminselfridge/logix github similar
• jdevuyst/rekenaar github similar
• dboulytchev/miniKanren-coq github similar
• bobatkey/system-f-parametricity-model github similar
• mietek/formal-logic github similar
• ayberkt/sequents github similar
• thalerjonathan/gloss-idris github similar
• gallais/typing-with-leftovers github similar
• LightAndLight/parametricity-proofs github similar
• jespercockx/popl19-tutorial github similar
• LightAndLight/idris-but-its-c github similar
• LightAndLight/cbpv github similar
• ioanluca/real-world-idris github similar