Similar repositories to mit-plv/bbv:

• mit-plv/bbv github similar
• mit-plv/rupicola github similar
• sarsko/CreuSAT github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• bedrocksystems/cpp2v github similar
• hecrj/iced github similar
• meilisearch/MeiliSearch github similar
• bedrocksystems/coq-lens github similar
• tchajed/ltac2-tutorial github similar
• ak3n/abt-zoo github similar
• mit-plv/rewriter github similar
• coq-community/paramcoq github similar
• palmskog/coq-program-verification-template github similar
• c-cube/quip github similar
• slasser/vermillion github similar
• Lysxia/coq-ceres github similar
• lastland/ClairvoyanceMonad github similar
• rems-project/linksem github similar
• c-cube/smtlib-utils github similar
• aspiwack/fulltrees github similar
• yfcai/CREG github similar
• ajrouvoet/implicits.agda github similar
• gmalecha/coq-interaction-trees github similar
• mit-plv/cross-crypto github similar
• danburkert/prost github similar
• roglo/coq_real github similar
• heyrutvik/nbe-a-tutorial github similar
• Soldat/soldat github similar
• coq/ceps github similar
• uwplse/cheerios github similar
• imdea-software/fcsl-pcm github similar
• Event-Structures/event-struct github similar
• thery/PolTac github similar
• pdarragh/camlrack github similar
• uds-psl/autosubst-ocaml github similar
• samuelgruetter/coq-smt-notations github similar
• bobatkey/system-f-parametricity-model github similar
• voodoos/mlts github similar
• DistributedComponents/verdi-chord github similar