Similar repositories to effectfully/random-stuff:

• effectfully/random-stuff github similar
• danistefanovic/build-your-own-x github similar
• gallais/agdarky github similar
• pigworker/LibAgda github similar
• gergoerdi/universe-of-syntax github similar
• Toxaris/lift.pts github similar
• gallais/typing-with-leftovers github similar
• larrytheliquid/leveling-up github similar
• JasonGross/lob-paper github similar
• toothbrush/reflection-proofs github similar
• Saizan/parametric-demo github similar
• metaborg/linear.agda github similar
• andreasabel/sized-types github similar
• mietek/coquand github similar
• pigworker/SSGEP-DataData github similar
• jmchapman/Big-step-Normalisation github similar
• L-TChen/MtacAR github similar
• tuura/selective-theory-agda github similar
• favonia/cbpv github similar
• mikeshulman/dirtt github similar
• divipp/frp_agda github similar
• danelahman/Normalization-By-Evaluation github similar
• benkavanagh/ccoq-explicit-sn github similar
• fsestini/nbe-weak-stlc github similar
• IanOrton/decomposing-univalence github similar
• yoricksijsling/ornaments-thesis github similar
• CoqHott/coq-forcing github similar
• jbracker/polymonad-proofs github similar
• Lapin0t/induction-recursion github similar
• pigworker/Bi71 github similar
• RobertHarper/hott-notes github similar
• pcapriotti/agda-base github similar
• mr-ohman/logrel-mltt github similar
• crypto-agda/agda-nplib github similar
• AndrasKovacs/preordertt github similar
• michaelsproul/dblib-linear github similar
• L-TChen/ModalTypeTheory github similar
• danelahman/Directed-Containers github similar
• xplat/agda-tactics github similar
• effectfully/Cubes github similar