Similar repositories to marklemay/DependentlyTypedPython:
marklemay/DependentlyTypedPython
github
similar
brownplt/lambdajs-coq
github
similar
MathiasVP/Alpha
github
similar
coq-contribs/finger-tree
github
similar
LightAndLight/certified-lc
github
similar
ezyang/groom
github
similar
kwf/Presburger
github
similar
taktoa/mltt
github
similar
jdublu10/STLC-to-SKI
github
similar
jrraymond/ray-tracer
github
similar
ayberkt/CFG-random
github
similar
drobakowski/cloud-haskell-talk
github
similar
Taneb/net
github
similar
bamboo/idris-codegen-sexp
github
similar
ayberkt/agda-brzozowski
github
similar
holmuk/coq-zipper
github
similar
Ptival/HaysTac
github
similar
MathiasVP/Z
github
similar
wilbowma/infernalize
github
similar
aatxe/cube.idr
github
similar
taktoa/spim-compiler
github
similar
MatthewStein/adrenalina
github
similar
mrkgnao/jeans
github
similar
ssomayyajula/elab
github
similar
srdqty/talc-3.0
github
similar
taktoa/cs524-actor
github
similar
jespercockx/ttac
github
similar
wjzz/Agda-small-developments-and-examples
github
similar
dredozubov/category-studygroup
github
similar
jdublu10/pacman
github
similar
DanielSchuessler/tuple-th
github
similar
tchajed/goedel-t
github
similar
conal/talk-2017-generic-functional-parallel
github
similar
alhassy/multistage-programming-taha
github
similar
joom/edit-time-tactics
github
similar
gmalecha/skip-list
github
similar
hawnzug/dependent
github
similar
mishun/henk2000
github
similar
mit-plv/reification-by-parametricity
github
similar
tchajed/coq-tactical
github
similar