Similar repositories to UlfNorell/agda-prelude:

• UlfNorell/agda-prelude github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• tootsuite/mastodon github similar
• gibiansky/IHaskell github similar
• ReactTraining/react-router github similar
• alhassy/gentle-intro-to-reflection github similar
• agda/agda-stdlib github similar
• scmu/foundations-harper github similar
• wenkokke/schmitty github similar
• gallais/agdarsec github similar
• andreasabel/miniagda github similar
• metaborg/linear.agda github similar
• wenkokke/AutoInAgda github similar
• RobertHarper/hott-notes github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• sstucki/system-f-agda github similar
• pixijs/pixi.js github similar
• jespercockx/ataca github similar
• scmu/aopa github similar
• Saizan/miller github similar
• algebraic-graphs/agda github similar
• martinescardo/TypeTopology github similar
• gallais/potpourri github similar
• L-TChen/MtacAR github similar
• copumpkin/categories github similar
• Saizan/cubical-demo github similar
• effectfully/STLC github similar
• effectfully/OTT github similar
• tree-sitter/tree-sitter-agda github similar
• agda/cubical github similar
• banacorn/agda-mode-vscode github similar
• msp-strath/TypOS github similar
• AndrasKovacs/system-f-omega github similar
• RedPRL/cooltt github similar
• UlfNorell/insane github similar
• gallais/generic-syntax github similar
• adamgundry/type-inference github similar
• HoTT/HoTT-Agda github similar
• crypto-agda/crypto-agda github similar