Similar repositories to DeepSpec/dsss18:

• DeepSpec/dsss18 github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• proofengineering/proofengineering-bib github similar
• DeepSpec/dsss17 github similar
• Eloston/ungoogled-chromium github similar
• Mtac2/Mtac2 github similar
• ilyasergey/pnp github similar
• scmu/aopa github similar
• ReactTraining/react-router github similar
• lthms/FreeSpec github similar
• L-TChen/MtacAR github similar
• dschepler/coq-sequent-calculus github similar
• RobertHarper/hott-notes github similar
• andrew-bedford/coqatoo github similar
• jldodds/coq-lean-cheatsheet github similar
• coq-community/coq-ext-lib github similar
• crypto-agda/crypto-agda github similar
• gallais/parseque github similar
• gallais/typing-with-leftovers github similar
• gergoerdi/syntactic-stlc github similar
• DeepSpec/InteractionTrees github similar
• aquynh/capstone github similar
• andreasabel/miniagda github similar
• metaocaml/metaocaml-bibliography github similar
• mattam82/Coq-Equations github similar
• uwplse/pumpkin-pi github similar
• gmalecha/coq-interaction-trees github similar
• nomeata/ghc-proofs github similar
• philzook58/lens-algebra github similar
• david-christiansen/epigram1 github similar
• dboulytchev/miniKanren-coq github similar
• uhub/awesome-coq github similar
• codygman/concise-json-parsing-in-haskell github similar
• coq-community/manifesto github similar
• llee454/functional-algebra github similar
• bellissimogiorno/nominal github similar
• mit-plv/kami github similar
• mit-plv/fiat github similar