Alternatives and similar repositories for c3-linearization

Users that are interested in c3-linearization are comparing it to the libraries listed below

• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 5 years ago
• axic / eth2-deposit-contract
  This is a port of the Vyper Eth 2.0 deposit contract to Solidity.
  ☆19Updated 4 years ago
• ConsenSysDiligence / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆24Updated 2 years ago
• quilt / sheth
  Execution environment for managing shard ether
  ☆25Updated 5 years ago
• ChainSecurity / audits
  Subset of public audit reports issued by ChainSecurity. For more, please visit:
  ☆30Updated last year
• maurelian / evm-polyglot
  Translations of standard contracts from Solidity to Vyper.
  ☆12Updated 7 years ago
• yushih / solidity-gas-profiler
  Profile Solidity gas consumption line-wise.
  ☆23Updated 4 years ago
• eth-sri / soltix
  SOLTIX: Scalable automated framework for testing Solidity compilers.
  ☆38Updated 3 years ago
• q9f / eth2-bench-2020-06
  preliminary, high-level eth2-client benchmarks
  ☆16Updated 4 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆46Updated 3 years ago
• axic / yultsur
  Yultsur is a Rust implementation of Yul.
  ☆58Updated 2 years ago
• ralexstokes / deposit-verifier
  A smart contract to enhance the user experience of the `eth2` deposit contract.
  ☆25Updated 10 months ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 6 years ago
• AztecProtocol / Setup
  AZTEC protocol trusted setup MPC
  ☆32Updated 11 months ago
• ScopeLift / ovm-uniswap-v2-core
  🎛 Core smart contracts of Uniswap V2, adapted to run on the Optimistic VM (OVM) while maintaining compatibility with the Ethereum VM (EV…
  ☆26Updated 4 years ago
• federicobond / soli
  A set of utilities (currently in alpha) for exploring Solidity contracts
  ☆23Updated 6 years ago
• Tenderly / sol.tty
  ☆22Updated 2 years ago
• protolambda / zcli
  Eth2 CLI debugging tool
  ☆37Updated 3 months ago
• muellerberndt / solfuzz
  Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.
  ☆31Updated 2 years ago
• makerdao / mkr-mcd-spec
  High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
  ☆28Updated 2 years ago
• k06a / parity-trace-decoder
  Parity Trace Decoder
  ☆26Updated 5 years ago
• jrhea / imp
  😈 Eth2 Network Agent 😈
  ☆31Updated 4 years ago
• Uniswap / unipig
  🦄🐷
  ☆39Updated 3 years ago
• ledgerwatch / eth_state
  data and charts for Ethereum state analysis
  ☆46Updated 5 years ago
• dapphub / ds-pause
  Schedule function calls that can only be executed once some delay has elapsed
  ☆26Updated 3 years ago
• highlightjs / highlightjs-solidity
  ☆50Updated last year
• ConsenSysDiligence / vscode-ethover
  Ethereum Account Address Hover Info and Actions
  ☆45Updated 5 months ago
• ethereum / eth2.0-tests
  [DEPRECATED] Common tests for all Eth2.0 implementations
  ☆19Updated 6 years ago
• protolambda / eth2-surround
  Experimenting with different surround-vote matching optimizations for ETH 2.0
  ☆15Updated 5 years ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆39Updated 5 years ago