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
• NomicFoundation / slang
  Solidity compiler tooling by @NomicFoundation
  ☆272Updated this week
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆36Updated 4 months ago
• zkoranges / zkPoEX
  zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …
  ☆236Updated 5 months ago
• massun-onibakuchi / sol-challenge
  CTF-like challenges of smart contracts
  ☆62Updated 3 years 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
• paradigmxyz / revmc
  JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.
  ☆246Updated 10 months ago
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆115Updated last year
• paradigmxyz / mev-share-rs
  Rust client library for Flashbots MEV-share
  ☆202Updated 6 months ago
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆96Updated 3 years ago
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆228Updated 2 years ago
• acuarica / evm
  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…
  ☆104Updated 8 months ago
• tintinweb / solgrep
  🧠 A scriptable semantic grep utility for solidity
  ☆144Updated last year
• camden-smallwood / solidity-rs
  Solidity 0.8.X AST parsing and analysis in Rust.
  ☆78Updated 2 years ago
• alloy-rs / svm-rs
  Solidity-Compiler Version Manager
  ☆280Updated last week
• NomicFoundation / solx
  LLVM-based Solidity compiler.
  ☆166Updated last week
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆72Updated 5 months ago
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆50Updated 2 years ago
• ralexstokes / ethereum-consensus
  ☆149Updated 4 months ago
• aave / aptos-aave-v3
  Aave's V3 Protocol on Aptos
  ☆23Updated this week
• Rjected / ranger
  Ranger is an ethereum p2p client capable of interacting with peers without a full node
  ☆201Updated 2 years ago
• ConsenSysDiligence / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆140Updated 2 months ago
• paradigmxyz / revm-inspectors
  EVM Execution Hooks.
  ☆230Updated last week
• crytic / solana-lints
  Lints based on the Sealevel Attacks
  ☆45Updated 2 weeks ago
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆218Updated last week
• fuzzland / writeup
  CTF Writeups
  ☆36Updated 2 years ago
• MariusVanDerWijden / tx-fuzz
  ☆120Updated 7 months ago
• runtimeverification / publications
  Publications of Runtime Verification, Inc.
  ☆92Updated 2 months ago
• security-alliance / safe-harbor
  ☆78Updated 2 months ago
• flashbots / builder-playground
  Framework to deploy local end-to-end environment for block building
  ☆108Updated this week