Alternatives and similar repositories for selfdestruct-analysis

Users that are interested in selfdestruct-analysis are comparing it to the libraries listed below

• yieldprotocol / vault-interfaces-DEPRECATED
  Interface files for the vault contracts
  ☆10Updated 3 years ago
• maple-labs / xMPL
  Token for accruing protocol revenues
  ☆16Updated 3 years ago
• transmissions11 / muldiv-battle
  Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.
  ☆18Updated 3 years ago
• sky-ecosystem / ilk-registry
  A publicly-modifiable registry of ilks in the Dai Stablecoin System.
  ☆22Updated 2 years ago
• exp-table / ying-yang
  Pay on Ethereum, mint on Starknet.
  ☆27Updated 3 years ago
• refcell / shipnauts
  Shipyard Precourse Work Part 4
  ☆10Updated 3 years ago
• fiatdao / fiat-i
  Protocol
  ☆18Updated 2 years ago
• dialecticch / safe-flashloan
  A flashloan module for Gnosis Safe.
  ☆45Updated 4 years ago
• lightclient / evm
  An EVM interpreter (wip)
  ☆12Updated 4 years ago
• adietrichs / kzg-sharding
  ☆19Updated 3 years ago
• 0xKitsune / Optimized-Merkle-Proof
  ☆17Updated 3 years ago
• maple-labs / contract-test-utils
  It provides helper functions to test the maple-core contracts.
  ☆25Updated 2 years ago
• protolambda / macula
  Experimental python optimistic rollup fraud-proof generation
  ☆29Updated 3 years ago
• joelburget / evm-rust
  Minimal EVM implementation in Rust
  ☆29Updated 7 years ago
• dapp-org / k-uniswap-v2
  ☆41Updated 5 years ago
• erigontech / erigon-book
  Technical book about Erigon technology
  ☆56Updated 3 years ago
• sky-ecosystem / dss-kiln
  Slow burner for protocol assets.
  ☆33Updated 2 years ago
• sky-ecosystem / mkr-mcd-spec
  High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
  ☆28Updated 2 years ago
• b-chiang / schnorr-nizk
  ☆14Updated 3 years ago
• spalladino / reorg-tester
  Testing Ethereum reorgs in a private geth network
  ☆30Updated 2 years ago
• protolambda / rollup-node-experiments
  rollup node experiments
  ☆15Updated 3 years ago
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆31Updated 2 years ago
• tarungog / geth_scan
  Scans the internet for open geth RPC clients
  ☆25Updated 8 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 4 years ago
• kmbarry1 / fund-eq-of-dai-certora
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Updated last year
• hellwolf / popsicle-exploit
  Using various tools to rediscover popsicle exploit
  ☆15Updated 3 years ago
• lightclient / protocol-ctf
  Introduction to core development via CTF challenges
  ☆40Updated 3 years ago
• Saw-mon-and-Natalie / ERC20-Golf
  ERC20.⛳
  ☆20Updated 3 years ago
• 0xinugami / aztec-lido-bridge
  ☆12Updated 3 years ago
• mds1 / solidity-fuzzing-benchmarks
  Solidity contracts and tests used to benchmark performance of fuzzers
  ☆21Updated 3 years ago