Similar repositories to Zdancewic/ccc:

• Zdancewic/ccc github similar
• vellvm/ctrees github similar
• damien-pous/coinduction github similar
• julesjacobs/cgraphs github similar
• YaZko/Coq_Cheat_Sheet github similar
• lastland/ClairvoyanceMonad github similar
• arthuraa/memory-safe-language github similar
• dunnl/tealeaves github similar
• dboulytchev/miniKanren-coq github similar
• thery/coqprime github similar
• coq-community/aac-tactics github similar
• coq-community/hydra-battles github similar
• xavierleroy/cdf-mech-sem github similar
• mit-pdos/mcqc github similar
• SSProve/ssprove github similar
• mit-plv/rupicola github similar
• coq-community/paramcoq github similar
• arthuraa/poleiro github similar
• unicoq/unicoq github similar
• kwf/myxine github similar
• effectfully/OTT github similar
• bedrocksystems/BRiCk github similar
• boltlabs-inc/dialectic github similar
• sweirich/corespec github similar
• haskell/hoopl github similar
• HoTT/EPIT-2020 github similar
• LPCIC/coq-elpi github similar
• coq-community/corn github similar
• DeepSpec/InteractionTrees github similar
• coq-community/coq-ext-lib github similar
• mit-plv/kami github similar
• iu-parfunc/gibbon github similar
• coq/platform github similar
• smtcoq/smtcoq github similar
• blevesearch/vellum github similar
• sassela/haskell-learning github similar
• mit-plv/fiat github similar
• coq-community/math-classes github similar
• eatonphil/ponyo github similar
• Tablam/TablaM github similar