Similar repositories to andorp/IdrisExtSTGCodegen:

• andorp/IdrisExtSTGCodegen github similar
• danistefanovic/build-your-own-x github similar
• rbarreiro/ifui github similar
• Z-snails/Idris2-Grin github similar
• ziman/idris-scheme github similar
• karroffel/Idris2-Ocaml github similar
• kbertalan/tyttp github similar
• meilisearch/MeiliSearch github similar
• stefan-hoeck/idris2-prim github similar
• RobertHarper/hott-notes github similar
• Russoul/Idris2-Lua github similar
• robinvd/lang-experiments github similar
• ziman/idris2-mlf github similar
• LightAndLight/idris-lambda-reflection github similar
• Russoul/Idris2-Effect github similar
• mattpolzin/harmony github similar
• edwinb/IdrisApp github similar
• corazza/idris-box2d github similar
• gwerbin/tree-sitter-idris2 github similar
• asajeffrey/finite-dtypes github similar
• osense/masters github similar
• jdolson/univalence-from-scratch github similar
• simongregersen/DepSec github similar
• pigworker/InteriorDesign github similar
• danelahman/POPL18 github similar
• ahmadsalim/davidlang github similar
• eayus/sirdi github similar
• stefan-hoeck/idris2-rhone-js github similar
• olivierverdier/GeometricAlgebra github similar
• uds-psl/autosubst-ocaml github similar
• Event-Structures/event-struct github similar
• u235axe/FeOFu github similar
• acertain/trufflestg github similar
• jonsterling/agda-stc github similar
• grin-compiler/idris-grin github similar
• jdevuyst/rekenaar github similar
• chrisdone/prana github similar
• tootsuite/mastodon github similar
• juxt/crux github similar
• typedefs/purescript-typedefs-interop github similar