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.
  ☆51Updated 3 years ago
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆35Updated 2 months ago
• pentagonxyz / xyk-amm-move
  Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.
  ☆89Updated 3 years ago
• zkoranges / zkPoEX
  zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …
  ☆234Updated 4 months ago
• acuarica / evm
  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…
  ☆99Updated 7 months ago
• massun-onibakuchi / sol-challenge
  CTF-like challenges of smart contracts
  ☆62Updated 3 years ago
• NomicFoundation / slang
  Solidity compiler tooling by @NomicFoundation
  ☆269Updated this week
• matter-labs / solx
  LLVM-based Solidity compiler.
  ☆159Updated last week
• Ethnical / Swek3
  Web3 Security Toolbox
  ☆73Updated last year
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆228Updated 2 years ago
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆96Updated 3 years ago
• crytic / attacknet
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
  ☆75Updated 3 months ago
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆50Updated 2 years ago
• ralexstokes / ethereum-consensus
  ☆149Updated 3 months ago
• paradigmxyz / revmc
  JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.
  ☆243Updated 9 months ago
• paradigmxyz / mev-share-rs
  Rust client library for Flashbots MEV-share
  ☆200Updated 5 months ago
• fuzzland / writeup
  CTF Writeups
  ☆36Updated last year
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆115Updated last year
• camden-smallwood / solidity-rs
  Solidity 0.8.X AST parsing and analysis in Rust.
  ☆78Updated 2 years ago
• tintinweb / solgrep
  🧠 A scriptable semantic grep utility for solidity
  ☆144Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆74Updated 10 months ago
• MariusVanDerWijden / tx-fuzz
  ☆117Updated 6 months ago
• crytic / solana-lints
  Lints based on the Sealevel Attacks
  ☆45Updated 2 weeks ago
• sbip-sg / CuEVM
  Cuda implementation of EVM bytecode executor
  ☆117Updated 10 months ago
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆195Updated 5 months ago
• paradigmxyz / revm-inspectors
  EVM Execution Hooks.
  ☆227Updated last week
• MorenaBarboni / SuMo-SOlidity-MUtator
  A mutation testing tool for Solidity Smart Contracts
  ☆82Updated 6 months ago
• security-alliance / safe-harbor
  ☆77Updated 3 weeks ago
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆71Updated 4 months ago
• vorot93 / evmodin
  Ethereum Virtual Machine implementation
  ☆160Updated 3 years ago