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 2 years ago
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆50Updated 2 years ago
• acuarica / evm
  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…
  ☆97Updated 5 months ago
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆35Updated 3 weeks ago
• NomicFoundation / slang
  Solidity compiler tooling by @NomicFoundation
  ☆269Updated last week
• zkoranges / zkPoEX
  zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …
  ☆235Updated 2 months ago
• massun-onibakuchi / sol-challenge
  CTF-like challenges of smart contracts
  ☆63Updated 3 years ago
• MariusVanDerWijden / tx-fuzz
  ☆116Updated 4 months ago
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆113Updated 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.
  ☆88Updated 2 years ago
• aave / aptos-aave-v3
  Aave's V3 Protocol on Aptos
  ☆17Updated this week
• tintinweb / solgrep
  🧠 A scriptable semantic grep utility for solidity
  ☆145Updated last year
• runtimeverification / publications
  Publications of Runtime Verification, Inc.
  ☆92Updated 4 months ago
• camden-smallwood / solidity-rs
  Solidity 0.8.X AST parsing and analysis in Rust.
  ☆78Updated last year
• ConsenSysDiligence / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆138Updated 8 months ago
• matter-labs / solx
  LLVM-based Solidity compiler.
  ☆142Updated last week
• Ethnical / Swek3
  Web3 Security Toolbox
  ☆73Updated last year
• paradigmxyz / revmc
  JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.
  ☆239Updated 7 months ago
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆229Updated 2 years ago
• fuzzland / writeup
  CTF Writeups
  ☆36Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆74Updated 8 months ago
• crytic / attacknet
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
  ☆75Updated last month
• az0mb13 / awesome-solana-security
  A curated list of awesome Solana security resources
  ☆62Updated last year
• crytic / solana-lints
  Lints based on the Sealevel Attacks
  ☆44Updated last week
• t4sk / clamm
  ☆65Updated last year
• security-alliance / safe-harbor
  ☆77Updated this week
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆213Updated 2 weeks ago
• Philogy / evm-glue
  ☆81Updated 6 months ago
• sbip-sg / CuEVM
  Cuda implementation of EVM bytecode executor
  ☆112Updated 8 months ago
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆67Updated 2 months ago