Similar repositories to karroffel/Idris2-Ocaml:

• karroffel/Idris2-Ocaml github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• gibiansky/IHaskell github similar
• MarcelineVQ/idris2-streaming github similar
• Z-snails/Idris2-Grin github similar
• kbertalan/tyttp github similar
• ziman/idris2-mlf github similar
• ziman/itt-idris github similar
• rbarreiro/ifui github similar
• andorp/IdrisExtSTGCodegen github similar
• ziman/idris-scheme github similar
• MarcelineVQ/idris2-curl github similar
• ziman/idris-data-frame github similar
• MarcelineVQ/idris2-bytes github similar
• danelahman/POPL18 github similar
• mikeshulman/ohtt github similar
• sarsko/CreuSAT github similar
• plt-hokusai/ahc github similar
• Twey/agda-imp github similar
• tuvtran/project-based-learning github similar
• gallais/pearl-binary-search github similar
• stefan-hoeck/idris2-rhone-js github similar
• Russoul/Idris2-Lua github similar
• fizruk/lambda-mu-mu-calculus github similar
• ska80/idris2-server github similar
• bamboo/idris2dart github similar
• yizhouzhang/olaf-coq github similar
• eayus/sirdi github similar
• MarcelineVQ/idris2-elab-deriving github similar
• robinvd/lang-experiments github similar
• stefan-hoeck/idris-fix-whitespace github similar
• LightAndLight/idris-lambda-reflection github similar
• octeep/idris2-http github similar
• mattpolzin/idv github similar
• stefan-hoeck/idris2-tailrec github similar
• idris-community/katla github similar
• alexhumphreys/idrall github similar
• groupoid/anders github similar
• CodingCellist/idris2-dot-parse github similar