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