Alternatives and similar repositories for rustle

Users that are interested in rustle are comparing it to the libraries listed below

• Zellic / move-prover-examples
  A gentle, example-based guide to getting started with the Move prover.
  ☆50Updated 2 years ago
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆229Updated 2 years ago
• massun-onibakuchi / sol-challenge
  CTF-like challenges of smart contracts
  ☆63Updated 2 years ago
• botdad / power-clash
  Finds matching solidity function signatures for a given 4 byte signature hash and arguments.
  ☆112Updated last year
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆35Updated 11 months ago
• ralexstokes / ethereum-consensus
  ☆148Updated 2 months ago
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆112Updated last year
• az0mb13 / awesome-solana-security
  A curated list of awesome Solana security resources
  ☆59Updated last year
• Philogy / evm-glue
  ☆81Updated 4 months ago
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆212Updated this week
• eth-infinitism / bundler-spec-tests
  Bundler specification test suites
  ☆80Updated last month
• pentagonxyz / xyk-amm-move
  Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.
  ☆87Updated 2 years ago
• mds1 / evm-diff
  Diff EVM-compatible chains in a friendly format
  ☆285Updated 4 months ago
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆49Updated last year
• foundry-rs / foundry-rust-template
  Template for quickly getting started with developing Rust applications that leverage Foundry for EVM smart contract development
  ☆240Updated 9 months ago
• iFrostizz / solhunt
  Hunt for common bad practices in Solidity smart contracts !
  ☆122Updated 2 years ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• Zellic / Masamune
  A smart contract security search utility
  ☆75Updated 6 months ago
• matter-labs / solx
  LLVM-based Solidity compiler.
  ☆88Updated this week
• MariusVanDerWijden / tx-fuzz
  ☆113Updated 2 months ago
• shadow-hq / shadow-reth
  A single-node implementation of a Shadow RPC on top of Reth, utilizing ExEx and custom RPC methods.
  ☆99Updated 6 months ago
• NomicFoundation / slang
  Solidity compiler tooling by @NomicFoundation
  ☆265Updated last week
• 0xNazgul / fuzzydefi
  Pre-built security properties for commonly forked DeFi protocols
  ☆196Updated last year
• attestate / awesome-ethereum-rollups
  A list of resources related to scaling with rollups.
  ☆61Updated last year
• robertaachenw / solidity-debugger
  ☆42Updated last year
• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆92Updated last week
• zkoranges / zkPoEX
  zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …
  ☆232Updated 2 years ago
• OpenZeppelin / rust-contracts-stylus
  A library for secure smart contract development written in Rust
  ☆120Updated last week
• FastLane-Labs / atlas
  An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…
  ☆152Updated last 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…
  ☆143Updated last year