Similar repositories to formalize/coq-evm:

• formalize/coq-evm github similar
• CoinAlpha/hummingbot github similar
• initc3/babySNARK github similar
• iden3/wasmsnark github similar
• iden3/circom github similar
• achlipala/frap github similar
• iden3/snarkjs github similar
• AbsInt/CompCert github similar
• matter-labs/awesome-zero-knowledge-proofs github similar
• coq/coq github similar
• torvalds/linux github similar