Similar repositories to pigworker/LibAgda:

• pigworker/LibAgda github similar
• jmchapman/Big-step-Normalisation github similar
• Kha/semantics-lean github similar
• barras/cic-model github similar
• awodey/Impredicative github similar
• jonsterling/lecture-notes github similar
• jonsterling/coq-meaning-explanation github similar
• jonsterling/sml-pronominal-ml github similar
• ivan-m/transmogrify github similar
• jozefg/concurrent-stack-with-helping github similar
• 5HT/agda-nr-cats github similar
• precog/quasar github similar
• andrewthad/lens-prelude github similar
• danistefanovic/build-your-own-x github similar
• parsonsmatt/lambda github similar
• peterlefanulumsdaine/higher-inductive-paper github similar
• hbasold/CoindDepTypes github similar
• stephanadls/state-dependent-gui github similar
• proger/godelt github similar
• Saizan/cat github similar
• dorchard/coeffects-experiments github similar
• crypto-agda/protocols github similar
• effectfully/Big-Step-Normalization github similar
• sergei-romanenko/chapman-big-step-normalization github similar
• Toxaris/lift.pts github similar
• sspeight93/Papers github similar
• AndrasKovacs/preordertt github similar
• clarus/coq-atm github similar
• nmvdw/groupoids github similar
• nmvdw/Three-HITs github similar
• effectfully/Eff github similar
• pigworker/WhatRTypes4 github similar
• pigworker/Ohrid-Agda github similar
• MrChico/Reals-in-agda github similar
• benjumanji/gedcom github similar
• JasonGross/lob-paper github similar
• effectfully/random-stuff github similar
• hazelgrove/hazelnut-dynamics github similar
• jpaykin/DifferentialCohesiveHoTT github similar
• simhu/ecwf github similar