Alternatives and similar repositories for move-prover-examples

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

• blocksecteam / rustle
  A static analyzer for NEAR smart contract in Rust
  ☆109Updated last year
• alloy-rs / docs
  Book on all things Alloy
  ☆46Updated this week
• propeller-heads / tycho-simulation
  ☆78Updated this week
• crytic / solana-lints
  Lints based on the Sealevel Attacks
  ☆44Updated this week
• Ethnical / Swek3
  Web3 Security Toolbox
  ☆73Updated last year
• Philogy / evm-glue
  ☆81Updated 7 months ago
• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆95Updated this week
• alloy-rs / evm
  EVM abstraction layer
  ☆62Updated this week
• solidquant / foundry-evm-mini
  Foundry EVM Standalone
  ☆23Updated last year
• alloy-rs / rlp
  Fast implementation of Ethereum RLP serialization
  ☆94Updated 4 months ago
• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆45Updated 2 years ago
• WilfredTA / symbolic-stack-machines
  Library for building symbolically executable stack-based virtual machines
  ☆75Updated 2 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆57Updated 4 months ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆37Updated 6 months ago
• pentagonxyz / move-oracles
  Oracles written in Move for the Sui Ecosystem
  ☆58Updated 3 years ago
• 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…
  ☆18Updated last year
• 0xrusowsky / etheasy
  Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.
  ☆30Updated last year
• 0xKitsune / sstan
  Solidity static analyzer
  ☆83Updated last year
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆42Updated 2 years ago
• matter-labs / solx
  LLVM-based Solidity compiler.
  ☆151Updated this week
• paradigmxyz / jitevm
  convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…
  ☆142Updated last year
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆52Updated 3 years ago
• spo0ds / Zero-to-ZKP
  As I learn more about ZKP and its use cases in blockchain, I'll be updating this repository with new resources and insights to help you s…
  ☆42Updated last year
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆50Updated 2 years ago
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆111Updated 6 months ago
• nlordell / solabi-rs
  Rust Implementation of the Solidity ABI
  ☆43Updated last week
• jtriley2p / bigbrainchad-eth
  ☆23Updated last year
• greekfetacheese / revm-by-example
  Practical examples of the Rust Ethereum Virtual Machine
  ☆65Updated 11 months ago
• ralexstokes / ethereum-consensus
  ☆147Updated 2 months ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated last year