Alternatives and similar repositories for move-prover-examples

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

• matter-labs / solx
  LLVM-based Solidity compiler.
  ☆118Updated this week
• franck44 / evm-dis
  An EVM bytecode disassembler/assembler
  ☆52Updated 6 months ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆56Updated 2 months ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆38Updated 4 months ago
• PufferFinance / rave
  Remote Attestation VErification
  ☆33Updated 11 months ago
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆41Updated 2 years ago
• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆91Updated this week
• minaminao / defi-exploits
  DeFi exploits for educational purposes
  ☆59Updated 2 years ago
• crytic / solana-lints
  Lints based on the Sealevel Attacks
  ☆43Updated this week
• Ethnical / Swek3
  Web3 Security Toolbox
  ☆73Updated last year
• jtriley2p / bigbrainchad-eth
  ☆23Updated 10 months ago
• WilfredTA / symbolic-stack-machines
  Library for building symbolically executable stack-based virtual machines
  ☆75Updated 2 years ago
• chainbound / fiber-rs
  Fiber client in Rust
  ☆50Updated 2 months ago
• greekfetacheese / revm-by-example
  Practical examples of the Rust Ethereum Virtual Machine
  ☆64Updated 9 months ago
• Zellic / weth
  Formal verification of WETH9.sol with Z3
  ☆58Updated 2 years ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• fuzzland / writeup
  CTF Writeups
  ☆36Updated last year
• alloy-rs / docs
  Book on all things Alloy
  ☆44Updated this week
• danhper / eclair
  A Solidity interpreter
  ☆68Updated last month
• propeller-heads / tycho-simulation
  ☆72Updated this week
• alloy-rs / evm
  ☆60Updated this week
• pcaversaccio / tornado-cash-exploit
  This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…
  ☆57Updated last month
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆50Updated last year
• Sabnock01 / blur-v2
  Contracts for Blur and Blend
  ☆30Updated last year
• blocksecteam / rustle
  A static analyzer for NEAR smart contract in Rust
  ☆107Updated last year
• malik672 / gas-analyzer
  The gas-analyzer is a tool for Ethereum developers seeking to enhance the efficiency and gas optimization of their Solidity code by Lever…
  ☆16Updated last year
• 0xKitsune / sstan
  Solidity static analyzer
  ☆83Updated last year
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆35Updated 2 months ago
• camden-smallwood / solidity-rs
  Solidity 0.8.X AST parsing and analysis in Rust.
  ☆78Updated last year
• PraneshASP / smol-evm-rs
  ☄️ A toy implementation of the EVM from scratch using Rust.
  ☆36Updated last year