Similar repositories to Toxaris/lift.pts:

• Toxaris/lift.pts github similar
• nicolaidahl/TouchBasedIdris github similar
• hbasold/CoindDepTypes github similar
• JasonGross/lob-paper github similar
• hazelgrove/hazelnut-dynamics github similar
• andreasabel/continuous-normalization github similar
• andreasabel/sized-types github similar
• andreasabel/Sit github similar
• Saizan/parametric-demo github similar
• benkavanagh/ccoq-explicit-sn github similar
• fsestini/nbe-weak-stlc github similar
• jmchapman/Big-step-Normalisation github similar
• jagd/fakebold github similar
• ernius/mergesort github similar
• gallais/agdARGS github similar
• gallais/agdarky github similar
• pigworker/LibAgda github similar
• pigworker/Ohrid-Agda github similar
• danelahman/Directed-Containers github similar
• MrChico/Reals-in-agda github similar
• effectfully/random-stuff github similar
• pigworker/BathTime github similar
• jonsterling/agda-effectful-forcing github similar
• reflectionalist/DS-PhPL github similar
• sstucki/f-omega-int-agda github similar
• gergoerdi/syntactic-stlc github similar
• gallais/type-scope-semantics github similar
• pigworker/SSGEP-DataData github similar
• Toxaris/pts github similar
• inc-lc/ilc-agda github similar
• bobatkey/system-f-parametricity-model github similar
• sstucki/pts-agda github similar
• hazelgrove/agda-popl17 github similar
• bch29/agda-holes github similar
• gergoerdi/stlc-agda github similar
• pigworker/Bi71 github similar
• jonsterling/hs-abt github similar
• hazelgrove/hazelnut-dynamics-agda github similar
• L-TChen/MtacAR github similar
• mit-plv/rewriter github similar