Similar repositories to grin-compiler/idris-grin:

• grin-compiler/idris-grin github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• aquynh/capstone github similar
• tootsuite/mastodon github similar
• edwinb/IdrisApp github similar
• andorp/mini-grin github similar
• Z-snails/Idris2-Grin github similar
• ziman/itt-idris github similar
• SPY/idris-codegen-wasm github similar
• meilisearch/MeiliSearch github similar
• pixijs/pixi.js github similar
• stefan-hoeck/idris2-elab-util github similar
• effectfully/Cubes github similar
• andgate/type-theory-compiler github similar
• edwinb/idris2-vim github similar
• groupoid/anders github similar
• idris-industry/ikan github similar
• ioanluca/real-world-idris github similar
• RobertHarper/hott-notes github similar
• grin-compiler/ghc-grin github similar
• Russoul/Idris2-Effect github similar
• osa1/StrictCore github similar
• andorp/IdrisExtSTGCodegen github similar
• habit-lang/alb github similar
• bor0/gidti github similar
• grin-compiler/agda-grin github similar
• vishesh/racketscript github similar
• edwinb/Yaffle github similar
• jdevuyst/rekenaar github similar
• gallais/idris-tparsec github similar
• postalhq/postal github similar
• juxt/crux github similar
• Eloston/ungoogled-chromium github similar
• tuvtran/project-based-learning github similar
• micahflee/onionshare github similar
• mortberg/yacctt github similar
• idream-build/idream github similar
• gallais/idris-tmustache github similar