Similar repositories to wilbowma/ecc-redex:

• wilbowma/ecc-redex github similar
• danistefanovic/build-your-own-x github similar
• wilbowma/dep-types-101 github similar
• davdar/redex-workshop-2015-ott github similar
• groupoid/anders github similar
• wilbowma/cic-redex github similar
• webyrd/normalization-by-evaluation github similar
• webyrd/curnelo github similar
• lambdabetaeta/modal-logics github similar
• effectfully/Cubes github similar
• AndrasKovacs/stlc-nbe github similar
• gbaz/mess github similar
• sstucki/pts-agda github similar
• RobertHarper/hott-notes github similar
• agda/agda-spec github similar
• rossberg/mixml github similar
• videolang/interactive-syntax github similar
• wilbowma/dissertation github similar
• tonyg/racket-bitsyntax github similar
• csgordon/cayenne github similar
• kino3/Mini-TT github similar
• david-christiansen/todo-list github similar
• cedille/cedille-developments github similar
• evertedsphere/how-to-implement-dependent-type-theory github similar
• vrahli/NuprlInCoq github similar
• alhassy/gentle-intro-to-reflection github similar
• steshaw/lennart-lambda github similar
• Porges/programming-history github similar
• INRIA/velus github similar
• jespercockx/ataca github similar
• abooij/wiwikwlhott github similar
• fredefox/cat github similar
• jespercockx/agda-lecture-notes github similar
• Metaxal/MrEd-Designer github similar
• andrejbauer/Homotopy github similar
• jldodds/coq-lean-cheatsheet github similar
• UlfNorell/agda-summer-school github similar
• sstucki/system-f-agda github similar
• gebner/hott3 github similar
• scmu/aopa github similar