Similar repositories to ntc2/hsubst:

• ntc2/hsubst github similar
• larrytheliquid/sbe github similar
• effectfully/blog github similar
• sergei-romanenko/chapman-big-step-normalization github similar
• larrytheliquid/plclub-expless github similar
• Saizan/hereditary github similar
• javra/indind-agda github similar
• nmvdw/GrpdHITs github similar
• np/names-for-free github similar
• jashug/ConstructingII github similar
• jespercockx/cubes github similar
• jashug/WhyNotW github similar
• jagd/fakebold github similar
• tcampion/Semisimplicial github similar
• balint99/sfpl github similar
• logsem/mitten_preorder github similar
• VictorCMiraldo/agda-rw github similar
• gergoerdi/universe-of-syntax github similar
• pigworker/Vole github similar
• JorisCeulemans/sikkel github similar
• effectfully/random-stuff github similar
• pigworker/SSGEP-DataData github similar
• Trebor-Huang/combinator-nbe github similar
• ZongzheYuan/HaltingProblem github similar
• divipp/frp_agda github similar
• mr-ohman/logrel-mltt github similar
• theoremprover-museum/LCF77 github similar
• andreasabel/helf github similar
• bitonic/tog github similar
• pigworker/Frank github similar
• pigworker/Bi71 github similar
• guillaumebrunerie/initiality github similar
• Trebor-Huang/Down-The-Path github similar
• toothbrush/reflection-proofs github similar
• gallais/agda-presburger github similar
• pigworker/EGTBS github similar
• pigworker/CS410-13 github similar
• dorchard/effects-as-sessions github similar
• pigworker/Saturday github similar
• effectfully/Generic github similar