Similar repositories to qcfu-bu/dtest-coq:
qcfu-bu/dtest-coq
github
similar
marklemay/dDynamic
github
similar
CoqHott/DICoq
github
similar
brownplt/scope-graph
github
similar
mflatt/scope-sets
github
similar
JoeyEremondi/GDTL-artifact
github
similar
Barry-Jay/Intensional-computation
github
similar
dedbox/racket-template
github
similar
AndrasKovacs/universes
github
similar
RobertHarper/hott-notes
github
similar
effectfully/inference-in-agda
github
similar
videolang/interactive-syntax
github
similar
BillHallahan/G2
github
similar
arthuraa/extructures
github
similar
tonyg/racket-bitsyntax
github
similar
plum-umd/cgc
github
similar
pedagand/MPRI-2.4-DTP
github
similar
rodrigogribeiro/agda-software-foundations
github
similar
david-christiansen/todo-list
github
similar
uwplse/PUMPKIN-PATCH
github
similar
coq-community/autosubst
github
similar
brownplt/B2T2
github
similar
AndrasKovacs/normalization-bench
github
similar
wilbowma/mttex
github
similar
effectfully/OTT
github
similar
lambdageek/unbound-generics
github
similar
AndrasKovacs/system-f-omega
github
similar
uds-psl/coq-library-undecidability
github
similar
plclub/metalib
github
similar
UlfNorell/agda-summer-school
github
similar
rjnw/sham
github
similar
Gradual-Typing/Grift
github
similar
lexi-lambda/eff
github
similar
racket/redex
github
similar
uwplse/Cassius
github
similar
metaborg/spoofax
github
similar
rossberg/hamlet
github
similar
AndrasKovacs/staged
github
similar
mgree/smoosh
github
similar
type-theory/learn-tt
github
similar