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