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