Alternatives and similar repositories for move-prover-examples:

Users that are interested in move-prover-examples are comparing it to the libraries listed below

• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆80Updated 2 weeks ago
• crytic / solana-lints
  Lints based on the Sealevel Attacks
  ☆40Updated this week
• blocksecteam / rustle
  A static analyzer for NEAR smart contract in Rust
  ☆105Updated last year
• solidquant / foundry-evm-mini
  Foundry EVM Standalone
  ☆23Updated last year
• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆45Updated 2 years ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆35Updated last week
• pentagonxyz / multisig-wallet-move
  Multisignature wallet in Move (with support for adding and removing participants).
  ☆33Updated 2 years ago
• franz101 / mev-olympics
  MEV Olympics
  ☆45Updated 3 months ago
• pentagonxyz / move-oracles
  Oracles written in Move for the Sui Ecosystem
  ☆58Updated 2 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated 2 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆50Updated this week
• chainbound / consentry
  A standalone consensus networking service for listening to events
  ☆54Updated last year
• jtriley2p / bigbrainchad-eth
  ☆23Updated 5 months ago
• alloy-rs / book
  Book on all things Alloy
  ☆31Updated 2 weeks ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆50Updated 2 years ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆32Updated 4 months ago
• Philogy / evm-glue
  ☆80Updated last month
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆90Updated last year
• Zellic / poc-hacks
  ☆41Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• alloy-rs / rlp
  Fast implementation of Ethereum RLP serialization
  ☆91Updated last month
• SorellaLabs / poirot-rs
  A searcher of searchers
  ☆51Updated last year
• saucepoint / foundry-arbitrum
  Cross-chain message testing for Arbitrum with Foundry
  ☆66Updated last year
• refcell / optimism-rs
  Scaling Ethereum, but this time in rust.
  ☆89Updated last year
• ecivini / gas-bad
  GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
  ☆66Updated 8 months ago
• op-rs / cannon-rs
  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
  ☆63Updated 7 months ago
• Certora / tutorials-code
  Certora tutorials
  ☆25Updated 2 weeks ago
• ChainSecurity / TSTORE-Low-Gas-Reentrancy
  Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas
  ☆14Updated last year
• Sabnock01 / blur-v2
  Contracts for Blur and Blend
  ☆30Updated last year