Similar repositories to xgrommx/agda-ecosystem:

• xgrommx/agda-ecosystem github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• pixijs/pixi.js github similar
• tuvtran/project-based-learning github similar
• Eloston/ungoogled-chromium github similar
• meilisearch/MeiliSearch github similar
• ReactTraining/react-router github similar
• aquynh/capstone github similar
• tootsuite/mastodon github similar
• k6io/k6 github similar
• postalhq/postal github similar
• Lysxia/system-F github similar
• shaunlebron/parinfer github similar
• razvan-flavius-panda/awesome-agda-programming github similar
• jespercockx/popl19-tutorial github similar
• flupe/generics github similar
• LiamGoodacre/category-exercises github similar
• leo-colisson/zx-calculus github similar
• agda/agda-pkg github similar
• TOTBWF/cubical-categories github similar
• GaloisInc/gadt-starter github similar
• mvr/at github similar
• MatthewDaggitt/agda-routing github similar
• sstucki/pts-agda github similar
• effectfully/inference-in-agda github similar
• coq-community/HighSchoolGeometry github similar
• wenkokke/msla2014 github similar
• fredefox/cat github similar
• agusakov/category-theory-game github similar
• cedille/cedille-cast github similar
• L-TChen/FiniteSets github similar
• conal/calculating-compilers-agda github similar
• sdiehl/paris-fp github similar
• gallais/agdarky github similar
• tuura/selective-theory-coq github similar
• purescript/purescript-type-equality github similar
• nullgemm/ly github similar
• trufflesuite/ganache-cli github similar