Similar repositories to bytekid/mkbtt:

• bytekid/mkbtt github similar
• mvr/at github similar
• skbaek/Ethics github similar
• jonsterling/lcf-sequent-calculus-example github similar
• haskell-rewriting/term-rewriting github similar
• peterlefanulumsdaine/palmgren-archive github similar
• effectfully/inference-in-agda github similar
• jespercockx/popl19-tutorial github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• pcapriotti/agda-categories github similar
• plum-umd/cgc github similar
• vlopezj/coq-course github similar
• blambov/RealLib github similar
• nick8325/twee github similar
• coq-community/topology github similar
• sweirich/replib github similar
• ucsd-progsys/mist github similar
• effectfully/OTT github similar
• fredefox/cat github similar
• scmu/foundations-harper github similar
• ryukinix/discrete-mathematics github similar
• andrejbauer/notes-on-realizability github similar
• GaloisInc/blt github similar
• awodey/CatLogNotes github similar
• algebraic-graphs/agda github similar
• msp-strath/TypOS github similar
• uds-psl/coq-library-undecidability github similar
• jozefg/nbe-for-mltt github similar
• jozefg/blott github similar
• jozefg/pcf github similar
• andrejbauer/marshall github similar
• martinescardo/TypeTopology github similar
• NCAlgebra/NC github similar
• sweirich/tal github similar
• ezyang/logitext github similar
• GeoCoq/GeoCoq github similar
• kpeeters/cadabra2 github similar
• plt-amy/1lab github similar
• cpitclaudel/alectryon github similar
• mattam82/Coq-Equations github similar