Similar repositories to Blaisorblade/Agda-playground:

• Blaisorblade/Agda-playground github similar
• gibiansky/IHaskell github similar
• precog/quasar github similar
• mikeshulman/dirtt github similar
• anuyts/cartesian-2dtt github similar
• ernius/genericBindingFramework github similar
• GallagherCommaJack/tt-provability github similar
• BekaValentine/TTInAgda github similar
• np/NomPa github similar
• crypto-agda/protocols github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• jonsterling/agda-nominal-sets github similar
• effectfully/ECC github similar
• MrChico/agda-stdlib github similar
• thobaa/Algebra-of-Parallel-Programming-in-Agda github similar
• sto0pkid/CategoryTheory github similar
• mikeshulman/hott-categories github similar
• pigworker/SmolCat github similar
• gergoerdi/stlc-agda github similar
• peterlefanulumsdaine/higher-inductive-paper github similar
• wenkokke/FirstOrderUnificationInAgda github similar
• gergoerdi/universe-of-syntax github similar
• fsestini/nbe-weak-stlc github similar
• effectfully/random-stuff github similar
• UlfNorell/category-theory-experiments github similar
• acowley/BostonHaskell2015 github similar
• crypto-agda/agda-nplib github similar
• pigworker/LibAgda github similar
• agda/agda-assoc-free github similar
• sergei-romanenko/agda-samples github similar
• AndrasKovacs/stlc-nbe github similar
• alexknvl/subcats github similar
• msp-strath/ZEUG github similar
• xplat/agda-tactics github similar
• MrChico/Reals-in-agda github similar
• xuwei-k/iarray github similar
• paf31/Purity github similar
• avsm/Ivor github similar
• jonsterling/agda-effectful-forcing github similar
• ezyang/lr-agda github similar