federicobond / c3-linearization

Related projects ⓘ

Alternatives and complementary repositories for c3-linearization

• ChainSecurity / audits
  Subset of public audit reports issued by ChainSecurity. For more, please visit:
  ☆28Updated last year
• Consensys / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆24Updated last year
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 6 years ago
• q9f / eth2-bench-2020-06
  preliminary, high-level eth2-client benchmarks
  ☆16Updated 4 years ago
• beacon-thugs-harmony / beacon_chain_simulator
  Implements a prototype and interactive simulation for the sharded pos ethereum 2.0.
  ☆12Updated 5 years ago
• maurelian / evm-polyglot
  Translations of standard contracts from Solidity to Vyper.
  ☆12Updated 6 years ago
• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 4 years ago
• quilt / sheth
  Execution environment for managing shard ether
  ☆24Updated 4 years ago
• muellerberndt / solfuzz
  Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.
  ☆30Updated last year
• jrhea / imp
  😈 Eth2 Network Agent 😈
  ☆31Updated 4 years ago
• loomnetwork / mamamerkle
  Sparse Merkle Trees implementation
  ☆9Updated 4 years ago
• ledgerwatch / eth_state
  data and charts for Ethereum state analysis
  ☆47Updated 4 years ago
• eth-sri / soltix
  SOLTIX: Scalable automated framework for testing Solidity compilers.
  ☆37Updated 3 years ago
• smartcontracts / mind-breed
  A CryptoKitties powered Brainfuck interpreter on Ethereum
  ☆32Updated 6 years ago
• zdai-io / zDai-mixer
  zDai.io - confidential Dai transactions on Burner wallet
  ☆29Updated 5 years ago
• krzkaczor / awesome-optimism-bridges
  List of currently developed optimism bridges
  ☆25Updated 3 years ago
• ralexstokes / deposit-verifier
  A smart contract to enhance the user experience of the `eth2` deposit contract.
  ☆23Updated 3 months ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆31Updated 4 years ago
• yushih / solidity-gas-profiler
  Profile Solidity gas consumption line-wise.
  ☆23Updated 3 years ago
• Consensys / evm-analyzer-benchmark-suite
  A benchmark suite for evaluating the precision of EVM code analysis tools.
  ☆40Updated 6 years ago
• duaraghav8 / solparse
  Solidity Parser for Solium
  ☆29Updated last year
• ChihChengLiang / modexp
  ☆12Updated 4 years ago
• smartbugs / smartbugs-dashboard
  DEPRECATED: Web-based User Interface for SmartBugs
  ☆11Updated last year
• vietlq / smart-contract-audit
  Guide to auditing EVM smart contracts using tools
  ☆22Updated last year
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• status-im / athenaeum
  The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations
  ☆16Updated 6 years ago
• ethereum / trinity-eth2
  The Trinity client for the Eth2 network
  ☆13Updated 4 years ago
• BANKEX / plasma-research
  ☆24Updated 2 years ago