Similar repositories to cdstanford/gid:
cdstanford/idse
github
similar
cdstanford/gid
github
similar
cdstanford/regex-smt-benchmarks
github
similar
plclub/plclub-web
github
similar
fniksic/diffstream
github
similar
jliagouris/wassm
github
similar
Liby99/geometry-sketchpad
github
similar
angelhof/flumina
github
similar
YaZko/Coq_Cheat_Sheet
github
similar
cucapra/turnt
github
similar
curtsinger-lab/riker
github
similar
kwf/myxine
github
similar
plaidfinch/myxine
github
similar
microsoft/Zen
github
similar
boltlabs-inc/dialectic
github
similar
dmstern/html2biblatex
github
similar
wilbowma/pl-thesaurus
github
similar
jozefg/blott
github
similar
smtcoq/smtcoq
github
similar
regehr/ub-canaries
github
similar
DeepSpec/InteractionTrees
github
similar
mgree/ffs
github
similar
RedPRL/sml-redprl
github
similar
nimble-code/Spin
github
similar
andrejbauer/homotopy-type-theory-course
github
similar
antalsz/hs-to-coq
github
similar
MetaCoq/metacoq
github
similar
sweirich/dth
github
similar
BurntSushi/regex-automata
github
similar
emeryberger/DieHard
github
similar
tchajed/coq-tricks
github
similar
math-comp/math-comp
github
similar
andromeda/pash
github
similar
binpash/pash
github
similar
bytecodealliance/cap-std
github
similar
JakWai01/lurk
github
similar
xldenis/creusot
github
similar
probmods/webppl
github
similar
michaelt/martin-lof
github
similar
jwiegley/category-theory
github
similar