Alternatives and similar repositories for adelaide

Users that are interested in adelaide are comparing it to the libraries listed below

• ConsenSysDiligence / Uniswap-audit-report-2018-12
  ☆51Updated 6 years ago
• eth-sri / soltix
  SOLTIX: Scalable automated framework for testing Solidity compilers.
  ☆38Updated 3 years ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 6 years ago
• miguelmota / merkletreejs-multiproof-solidity
  Verifying merkle multiproofs in solidity example (unaudited)
  ☆44Updated 3 years ago
• interlay / btc-relay-solidity
  Bitcoin Light Client on Ethereum
  ☆41Updated 11 months ago
• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆59Updated 4 years ago
• Tenderly / ethberlinzwei-maglev
  An Ethereum Tx Station - Batch transactions and save 30% on gas costs. 🚄🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃💨
  ☆29Updated 2 years ago
• cleanunicorn / mythos
  CLI client for the MythX API
  ☆20Updated 2 years ago
• tinchoabbate / slither-scripts
  Auditing scripts for Slither (https://github.com/crytic/slither)
  ☆30Updated 4 years ago
• Tenderly / sol.tty
  ☆22Updated 2 years ago
• dapp-org / dappsys-v2
  ☆30Updated 3 years ago
• spalladino / ethereum-upgrade-storage-free
  Proof of concept for a delegatecall proxy upgrade pattern without storage usage
  ☆55Updated 9 months ago
• Zoltu / recoverable-wallet
  Contracts for a wallet that is recoverable via backup keys.
  ☆51Updated 2 months ago
• clemlak / leafleth
  📑 Documentation generator for Solidity
  ☆26Updated 3 years ago
• miguelmota / zksnarks-example
  An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.
  ☆37Updated 5 years ago
• yieldprotocol / fyDai
  Yield Protocol v1
  ☆44Updated last year
• eveem-org / asterix
  An example script finding self-destructs in Eveem sources published on BigQuery
  ☆46Updated last year
• ledgerwatch / eth_state
  data and charts for Ethereum state analysis
  ☆46Updated 5 years ago
• yoavw / cross-rollup-bridge
  ☆52Updated 4 years ago
• balancer / configurable-rights-pool
  ☆34Updated 4 years ago
• lorenzb / proveth
  Generate & verify Merkle-Patricia-proofs for Ethereum
  ☆109Updated 2 years ago
• lsankar4033 / surrogeth
  Tricking frontrunners into doing good
  ☆42Updated 2 years ago
• ethdebug / solidity-data-representation
  Paper: Data Representation in Solidity
  ☆60Updated last year
• AntoineRondelet / zerocash-ethereum
  Smart contract - Zerocash-like approach for privacy on Ethereum
  ☆21Updated 6 years ago
• 0age / devcon5-contract-runtime-mutability
  Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka
  ☆36Updated 5 years ago
• aragon / evm-storage-proofs
  Trustlessly prove a past storage value in a contract to other contracts
  ☆146Updated 2 years ago
• centrifuge / zk-nft-demo-contract
  ☆35Updated 5 years ago
• GregTheGreek / Heliaia
  A judicial inquiry into your transactions 🧑‍⚖️
  ☆47Updated 3 years ago
• PISAresearch / event-proofs
  Solidity proofs that a historical event occurred
  ☆28Updated last month
• muellerberndt / solfuzz
  Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.
  ☆31Updated 2 years ago