Similar repositories to melted/idris-chez:

• melted/idris-chez github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• pixijs/pixi.js github similar
• vishesh/racketscript github similar
• micahflee/onionshare github similar
• sarsko/CreuSAT github similar
• roc-lang/roc github similar
• juxt/crux github similar
• aquynh/capstone github similar
• hecrj/iced github similar
• srdqty/talc-3.0 github similar
• jdevuyst/rekenaar github similar
• RobertHarper/hott-notes github similar
• mathandley/RTick github similar
• tuvtran/project-based-learning github similar
• alexcrichton/cc-rs github similar
• Eloston/ungoogled-chromium github similar
• meilisearch/MeiliSearch github similar
• grin-compiler/idris-grin github similar
• ayberkt/agda-brzozowski github similar
• dorchard/effectful-explanations-talk github similar
• jfdm/idris-config github similar
• feeley/etos github similar
• eraserhd/Idris-book github similar
• jDomantas/idris-wasm github similar
• thalerjonathan/gloss-idris github similar
• sbp/idris-bi github similar
• dbp/howtoproveacompiler github similar
• LightAndLight/parametricity-proofs github similar
• leon-vv/Todo github similar
• idris-hackers/idris-crypto github similar
• LightAndLight/idris-but-its-c github similar
• pa-ba/calc-comp github similar
• gergoerdi/syntactic-stlc github similar
• isovector/do-notation github similar
• edwinb/Eff github similar
• frerich/catamorphism github similar
• bamboo/idris-cil github similar