Similar repositories to DreamLinuxer/popl21-artifact:

• DreamLinuxer/popl21-artifact github similar
• conal/Collaboration github similar
• andrejbauer/dependent-type-theory-syntax github similar
• ilya-klyuchnikov/sll-meta-racket github similar
• VincentSe/godel github similar
• rkaarsgaard/upi github similar
• vikraman/popl22-symmetries-artifact github similar
• smimram/fibred-polynomials github similar
• david-christiansen/brush github similar
• ilya-klyuchnikov/minimetamix github similar
• stefaniatadama/inductive_types github similar
• peterlefanulumsdaine/palmgren-archive github similar
• punkdit/categories github similar
• ct-gradual-typing/Papers github similar
• FrozenWinters/SbE github similar
• metaborg/mj.agda github similar
• vikraman/2DTypes github similar
• Zekt/Type-Embellishment github similar
• edwinb/SchemeEval github similar
• JacquesCarette/pi-dual github similar
• conal/agda-cat-linear github similar
• webyrd/declarative-semantics github similar
• alhassy/org-agda-mode github similar
• namin/blond github similar
• casvdrest/composable-semantics github similar
• jwiegley/coq-lattice github similar
• TomasMikula/Principled github similar
• nmvdw/Three-HITs github similar
• ak3n/abt-zoo github similar
• jonsterling/lcf-sequent-calculus-example github similar
• AndrasKovacs/polynomial-model github similar
• lambdabetaeta/modal-logics github similar
• bolt12/tymfgg-pearl github similar
• ualib/ualib.github.io github similar
• ualib/agda-algebras github similar
• CatTheoryByExample/book github similar
• L-TChen/ModalTypeTheory github similar
• tsung-ju/SystemF github similar
• ZongzheYuan/HaltingProblem github similar
• heades/System-F-Coq github similar