Alternatives and similar repositories for adelaide:

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

• lorenzb / proveth
  Generate & verify Merkle-Patricia-proofs for Ethereum
  ☆108Updated 2 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
• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆59Updated 4 years ago
• Consensys / Uniswap-audit-report-2018-12
  ☆51Updated 5 years ago
• barryWhiteHat / roll_up_token
  yellow paper for roll_up token
  ☆67Updated 5 years ago
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 3 months ago
• eth-sri / soltix
  SOLTIX: Scalable automated framework for testing Solidity compilers.
  ☆38Updated 3 years ago
• aragon / evm-storage-proofs
  Trustlessly prove a past storage value in a contract to other contracts
  ☆145Updated last year
• Dan-Nolan / Delegatecall-Proxy-Bug
  An Exploit on the AAVE v2 Contract Vulnerability
  ☆28Updated 3 years ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 6 years ago
• spalladino / ethereum-upgrade-storage-free
  Proof of concept for a delegatecall proxy upgrade pattern without storage usage
  ☆55Updated 6 months ago
• mattdf / RingCrypto
  Ring signature related implementations for ethereum
  ☆28Updated 3 years ago
• ricmoo / lurch
  Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.
  ☆83Updated 4 years ago
• 0age / Spawner
  Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.
  ☆41Updated last year
• Consensys / vscode-solidity-metrics
  Generate Solidity Source Code Metrics, Complexity and Risk profile reports for your project.
  ☆49Updated 3 months ago
• clemlak / leafleth
  📑 Documentation generator for Solidity
  ☆25Updated 3 years ago
• Dexaran / DAPP-security-standards
  ☆29Updated 3 years ago
• yieldprotocol / fyDai
  Yield Protocol v1
  ☆44Updated last year
• Tenderly / sol.tty
  ☆22Updated 2 years ago
• cleanunicorn / mythos
  CLI client for the MythX API
  ☆20Updated 2 years ago
• yoavw / cross-rollup-bridge
  ☆51Updated 3 years ago
• ledgerwatch / eth_state
  data and charts for Ethereum state analysis
  ☆46Updated 5 years ago
• ChainSecurity / audits
  Subset of public audit reports issued by ChainSecurity. For more, please visit:
  ☆29Updated last year
• eveem-org / asterix
  An example script finding self-destructs in Eveem sources published on BigQuery
  ☆43Updated last year
• Consensys / security-workshop-for-devs
  Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
  ☆70Updated 5 years ago
• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 5 years ago
• Consensys / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆24Updated last year
• viperproject / 2vyper
  A static verifer for Ethereum Smart Contracts written in Vyper
  ☆51Updated 2 years ago
• balancer / configurable-rights-pool
  ☆34Updated 4 years ago
• g0-group / Audits
  ☆3Updated 7 months ago