Similar repositories to ernius/mergesort:

• ernius/mergesort github similar
• hbasold/CoindDepTypes github similar
• gallais/agdARGS github similar
• Toxaris/lift.pts github similar
• hazelgrove/hazelnut-dynamics github similar
• JasonGross/lob-paper github similar
• andreasabel/continuous-normalization github similar
• andreasabel/sized-types github similar
• nilcons/PrefetchFS github similar
• gergoerdi/syntactic-stlc github similar
• andreasabel/Sit github similar
• hazelgrove/agda-popl17 github similar
• fsestini/nbe-weak-stlc github similar
• pigworker/LibAgda github similar
• pigworker/Ohrid-Agda github similar
• danelahman/Directed-Containers github similar
• MrChico/Reals-in-agda github similar
• jonsterling/agda-effectful-forcing github similar
• Saizan/parametric-demo github similar
• jagd/fakebold github similar
• jmchapman/Big-step-Normalisation github similar
• gallais/agdarky github similar
• JasonGross/lob github similar
• effectfully/random-stuff github similar
• hazelgrove/hazelnut-dynamics-agda github similar
• csabahruska/demoscene github similar
• AndrasKovacs/stlc-nbe github similar
• L-TChen/ModalTypeTheory github similar
• effectfully/Cubes github similar
• andreasabel/ipl github similar
• agda/ooAgda github similar
• gallais/type-scope-semantics github similar
• pigworker/SSGEP-DataData github similar
• Toxaris/pts github similar
• bobatkey/system-f-parametricity-model github similar
• theoremprover-museum/LCF77 github similar
• divipp/frp_agda github similar
• JacquesCarette/pi-dual github similar
• sstucki/pts-agda github similar
• andreasabel/helf github similar