Similar repositories to kendroe/CoqRewriter:

• kendroe/CoqRewriter github similar
• danistefanovic/build-your-own-x github similar
• SkySkimmer/ZF github similar
• Zilliqa/scilla-mode github similar
• thery/lemonde github similar
• martinescardo/HoTTEST-Summer-School github similar
• plt-amy/cubical-methods github similar
• hecrj/iced github similar
• alexcrichton/cc-rs github similar
• bedrocksystems/cpp2v github similar
• runtimeverification/casper-cbc-proofs github similar
• AxiomCrisis/lda github similar
• AxiomCrisis/proofs github similar
• oven-sh/bun github similar
• uds-psl/cbv-lambda-calculus-reasonable github similar
• vyorkin/okasaki-ocaml github similar
• LdBeth/keim github similar
• codewars/coq_codewars github similar
• combinators/cls-coq github similar
• camlp5/pa_ppx_q_ast github similar
• skeuchel/mtc github similar
• fangyi-zhou/pallvm github similar
• PLSysSec/veriwasm-verification github similar
• Sobernard/Lindemann github similar
• MisterDA/ocaml-platform github similar
• seL4/sel4webserver github similar
• corneliuhoffman/spatchcoqocaml github similar
• conda-forge/coq-feedstock github similar
• dwarfmaster/commutative-diagrams github similar
• matthesjh/coq-tal github similar
• llelf/cocoricoogle github similar
• coq-community/coq-performance-tests github similar
• coq-community/generic-environments github similar
• jyh/metaprl github similar
• StarCrossPortal/redbpf github similar
• emtst/zooid-cmpst github similar
• math-comp/POPLmark github similar
• proofengineering/coq-ast github similar
• ANSSI-FR/coq-prelude github similar
• uncle-betty/trust-but-verify github similar