Similar repositories to ilya-klyuchnikov/minimetamix:

• ilya-klyuchnikov/minimetamix github similar
• wilcoxjay/miniprl-coq github similar
• ilya-klyuchnikov/sll-meta-racket github similar
• andrejbauer/dependent-type-theory-syntax github similar
• VincentSe/godel github similar
• dankoi/metamath github similar
• ilya-klyuchnikov/hosc github similar
• georgejkaye/lamviz github similar
• gergoerdi/interaction-nets github similar
• edwinb/SchemeEval github similar
• jyp/sctt github similar
• jonsterling/sml-logical-framework github similar
• logsem/mitten_preorder github similar
• noahvanes/slip.js github similar
• jonsterling/lcf-sequent-calculus-example github similar
• ak3n/abt-zoo github similar
• kovszilard/easy-config github similar
• peterlefanulumsdaine/palmgren-archive github similar
• andrejbauer/clerical github similar
• robrix/Manifold github similar
• rowandavies/sml-cidre github similar
• TOTBWF/muprl github similar
• heades/System-F-Coq github similar
• cucapra/lambdalab github similar
• 7mind/sbtgen github similar
• thsutton/cha github similar
• poitin/Distiller github similar
• orome/crypto-enigma-hs github similar
• sstucki/pts-agda github similar
• peterlefanulumsdaine/general-type-theories github similar
• wenkokke/msla2014 github similar
• TheoWinterhalter/phd-thesis github similar
• bitonic/tog github similar
• lortabac/ariel github similar
• pigworker/Bi71 github similar
• pis147879/PELCR github similar
• coq-community/semantics github similar
• nachivpn/nbe-course github similar
• AndrasKovacs/normalization-bench github similar
• kcrary/cmtool github similar