Similar repositories to COST-IC1405/tr_materials:

• COST-IC1405/tr_materials github similar
• mietek/revcomp-tr github similar
• sergei-romanenko/chapman-big-step-normalization github similar
• ernius/formalmetatheory-stoughton github similar
• gergoerdi/system-f-agda github similar
• mbudde/jana github similar
• wjzz/agda-DTP-examples github similar
• pigworker/BiF github similar
• pigworker/LibAgda github similar
• pigworker/Ohrid-Agda github similar
• effectfully/Eff github similar
• pigworker/WhatRTypes4 github similar
• ct-gradual-typing/Papers github similar
• AndrasKovacs/misc-stuff github similar
• parsonsmatt/lambda github similar
• sto0pkid/CategoryTheory github similar
• gergoerdi/syntactic-stlc github similar
• jmchapman/Big-step-Normalisation github similar
• pigworker/CS410-16 github similar
• jagd/fakebold github similar
• pigworker/Totality github similar
• GaloisInc/ICryptol github similar
• hazelgrove/agda-popl17 github similar
• jmchapman/Relative-Monads github similar
• gergoerdi/stlc-agda github similar
• jwiegley/coq-lattice github similar
• jonsterling/hs-abt github similar
• gergoerdi/universe-of-syntax github similar
• nmvdw/Three-HITs github similar
• vincenthz/cabal-db github similar
• effectfully/Cubes github similar
• LLNL/backstroke github similar
• gallais/type-scope-semantics github similar
• agda/ooAgda github similar
• AndrasKovacs/stlc-nbe github similar
• msp-strath/platypus github similar
• Toxaris/pts github similar
• JacquesCarette/pi-dual github similar
• ezyang/lr-agda github similar
• gallais/typing-with-leftovers github similar