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.
  ☆48Updated 2 years ago
• massun-onibakuchi / sol-challenge
  CTF-like challenges of smart contracts
  ☆63Updated 2 years ago
• zkoranges / zkPoEX
  zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …
  ☆228Updated 2 years ago
• ralexstokes / ethereum-consensus
  ☆147Updated last week
• Zellic / Masamune
  A smart contract security search utility
  ☆74Updated 4 months ago
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆50Updated last year
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆35Updated 8 months ago
• camden-smallwood / solidity-rs
  Solidity 0.8.X AST parsing and analysis in Rust.
  ☆78Updated last year
• tintinweb / solgrep
  🧠 A scriptable semantic grep utility for solidity
  ☆144Updated 8 months ago
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆112Updated last year
• pentagonxyz / xyk-amm-move
  Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.
  ☆85Updated 2 years ago
• acuarica / evm
  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…
  ☆85Updated last month
• ConsenSysDiligence / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆136Updated 4 months ago
• blunt-instruments / MevWallet
  MevWallet is a smart contract wallet that allows the user to capture MEV from Searchers, or create MEV on purpose.
  ☆155Updated 2 years ago
• az0mb13 / awesome-solana-security
  A curated list of awesome Solana security resources
  ☆59Updated last year
• mattaereal / yet-another-evm-puzzle
  This part of a small series of medium post dedicated to motivate myself while learning how the evm works.
  ☆90Updated 7 months ago
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆184Updated 7 months ago
• eth-infinitism / bundler-spec-tests
  Bundler specification test suites
  ☆78Updated last week
• paradigmxyz / revmc
  JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.
  ☆231Updated 2 months ago
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆227Updated 2 years ago
• Dedaub / audits
  Repository containing past audit reports
  ☆54Updated last year
• MariusVanDerWijden / tx-fuzz
  ☆108Updated last week
• iFrostizz / solhunt
  Hunt for common bad practices in Solidity smart contracts !
  ☆122Updated last year
• crytic / solana-lints
  Lints based on the Sealevel Attacks
  ☆41Updated this week
• Philogy / evm-glue
  ☆81Updated 2 months ago
• Ethnical / Swek3
  Web3 Security Toolbox
  ☆73Updated 11 months ago
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆212Updated last month
• sigp / public-audits
  Collection of public security reviews
  ☆179Updated last month
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆94Updated 2 years ago
• patrickd- / solidity-fuzzing-boilerplate
  Template repository intended to ease fuzzing components of Solidity projects, especially libraries.
  ☆207Updated last year