Similar repositories to cedille/ial:

• cedille/ial github similar
• danistefanovic/build-your-own-x github similar
• jonsterling/lecture-notes github similar
• gibiansky/IHaskell github similar
• tuvtran/project-based-learning github similar
• UlrikBuchholtz/nominal-hott github similar
• groupoid/anders github similar
• laMudri/generic-lr github similar
• aquynh/capstone github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• k6io/k6 github similar
• jart/blink github similar
• Deducteam/Agda2Dedukti github similar
• silvanshade/cool-tt github similar
• sstucki/pts-agda github similar
• superhaNds/cwfs github similar
• andrejbauer/mathematics-and-computation github similar
• bobatkey/agda-metric-reals github similar
• AndrasKovacs/preordertt github similar
• cedille/cedille-developments github similar
• jmchapman/TT-in-TT github similar
• UlfNorell/agda-bench github similar
• UlfNorell/quasi-quote github similar
• lambdabetaeta/modal-logics github similar
• mortberg/gen-cart github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• m-yac/tt-in-cagda github similar
• jonsterling/coq-domains github similar
• RobertHarper/hott-notes github similar
• agda/ooAgda github similar
• andrejbauer/clerical github similar
• kino3/Mini-TT github similar
• MrChico/Reals-in-agda github similar
• DimaSamoz/agda-soas github similar
• scmu/aopa github similar
• jsiek/gradual-typing-in-agda github similar
• dlicata335/cart-cube github similar
• favonia/hdtt2020-notes github similar
• metaborg/linear.agda github similar