Similar repositories to benkavanagh/ccoq-explicit-sn:

• benkavanagh/ccoq-explicit-sn github similar
• xplat/potpourri github similar
• danistefanovic/build-your-own-x github similar
• nicolaidahl/TouchBasedIdris github similar
• danelahman/Normalization-By-Evaluation github similar
• Toxaris/lift.pts github similar
• agda/agda-assoc-free github similar
• kmcallister/propane github similar
• karamaan/product-profunctors github similar
• pigworker/BathTime github similar
• philopon/best-haskell github similar
• noteed/syntactical github similar
• favonia/cbpv github similar
• ruisb/LambdaPi github similar
• jmchapman/Big-step-Normalisation github similar
• ntc2/haskell-call-trace github similar
• schani/git-polish-history github similar
• np/names-for-free github similar
• bitonic/kant github similar
• gallais/agda-nbe github similar
• effectfully/random-stuff github similar
• toothbrush/reflection-proofs github similar
• xplat/agda-tactics github similar
• danelahman/Directed-Containers github similar
• pigworker/WhatRTypes4 github similar
• robinp/nemnem github similar
• reflectionalist/DS-PhPL github similar
• Saizan/parametric-demo github similar
• bobatkey/algebraically-indexed-types github similar
• nilcons/ceh github similar
• sellout/Idris-CPDT github similar
• ezyang/lr-agda github similar
• inc-lc/ilc-agda github similar
• jagd/fakebold github similar
• bitonic/tog github similar
• trystan/silently github similar
• shayan-najd/QFeldspar github similar
• gallais/agdarky github similar
• gallais/agda-presburger github similar
• gergoerdi/stlc-agda github similar