Similar repositories to uwplse/PUMPKIN-PATCH:

• uwplse/PUMPKIN-PATCH github similar
• danistefanovic/build-your-own-x github similar
• uwplse/pumpkin-pi github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• palmskog/coq-program-verification-template github similar
• damien-pous/relation-algebra github similar
• coq/bot github similar
• SimonBoulier/TypingFlags github similar
• Armael/coq-procrastination github similar
• LPCIC/coq-elpi github similar
• garrigue/certint github similar
• uwplse/coq-plugin-lib github similar
• bedrocksystems/cpp2v github similar
• affeldt-aist/infotheo github similar
• math-comp/hierarchy-builder github similar
• c-cube/quip github similar
• uds-psl/coq-library-undecidability github similar
• affeldt-aist/monae github similar
• Chris00/ocaml-interval github similar
• xavierleroy/coq2html github similar
• xavierleroy/cdf-program-logics github similar
• uwplse/CoqAST github similar
• tlringer/plugin-tutorial github similar
• jyh/metaprl github similar
• gs0510/index-benchmarks github similar
• backtracking/ptmap github similar
• toots/ocaml-posix-time github similar
• coq-community/aac-tactics github similar
• ppedrot/lsh-generator github similar
• backtracking/ocaml-bdd github similar
• savonet/ocaml-ogg github similar
• c-cube/ocaml-atomic github similar
• vrahli/NuprlInCoq github similar
• mit-plv/rewriter github similar
• coq/bignums github similar
• yallop/ocaml-charset github similar
• shonfeder/kwdcmd github similar
• Lysxia/system-F github similar
• akr/codegen github similar