Similar repositories to andreasabel/sized-types:

• andreasabel/sized-types github similar
• hbasold/CoindDepTypes github similar
• andreasabel/type-preserving-cps github similar
• Toxaris/lift.pts github similar
• fsestini/nbe-weak-stlc github similar
• JasonGross/lob-paper github similar
• hazelgrove/hazelnut-dynamics github similar
• andreasabel/continuous-normalization github similar
• andreasabel/Sit github similar
• jozefg/fibrational-semantics github similar
• osense/masters github similar
• hansbugge/cubicaltt github similar
• jmchapman/Big-step-Normalisation github similar
• mcopes73/standardization-agda github similar
• gallais/agdarky github similar
• ernius/mergesort github similar
• gallais/agdARGS github similar
• tel/intone github similar
• jbracker/polymonad-proofs github similar
• kofno/purescript-aws-lambda github similar
• pigworker/LibAgda github similar
• pigworker/Ohrid-Agda github similar
• michaelsproul/dblib-linear github similar
• effectfully/random-stuff github similar
• danelahman/Directed-Containers github similar
• MrChico/Reals-in-agda github similar
• jonsterling/agda-effectful-forcing github similar
• L-TChen/ModalTypeTheory github similar
• metaborg/mj.agda github similar
• andreasabel/ipl github similar
• Saizan/parametric-demo github similar
• gergoerdi/syntactic-stlc github similar
• clayrat/idris-linear github similar
• umazalakain/fyp github similar
• bobatkey/algebraically-indexed-types github similar
• divipp/frp_agda github similar
• jagd/fakebold github similar
• matijapretnar/proofs github similar
• pigworker/potato github similar
• hazelgrove/agda-popl17 github similar