xternet / echidna-etheno-hh-template

Related projects ⓘ

Alternatives and complementary repositories for echidna-etheno-hh-template

• InspexCo / cross-contract-reentrancy
  Cross-Contract Reentrancy Demo
  ☆26Updated 2 years ago
• ZeroEkkusu / optimizooors-lab
  Measure gas savings with different Solidity optimizations
  ☆54Updated 2 years ago
• alexroan / chuff
  Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language
  ☆32Updated 2 years ago
• karmacoma-eth / gas-benchmark-anvil
  a little foundry template that shows how to use anvil to run gas benchmarks
  ☆33Updated last year
• lindy-labs / sc_solidity-contracts
  ☆15Updated 5 months ago
• yashnaman / tokensWithPermitFunctionList
  An in complete list of tokens with permit function
  ☆14Updated 3 years ago
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆39Updated 2 years ago
• sense-finance / auto-roller
  Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools
  ☆27Updated last year
• aviggiano / fuzzer-evaluation
  Evaluating fuzzer effectiveness
  ☆21Updated last year
• devtooligan / huff-spearbit-demo
  ☆17Updated 3 months ago
• nomoixyz / universal-router-vuln-poc
  ☆12Updated last year
• huff-language / huff-breakage
  Incorrect, Breaking, and Footgunned Huff Contracts.
  ☆30Updated last year
• PatrickAlphaC / fuzzing-example
  ☆10Updated last year
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated last year
• 0xKitsune / Foundry-Huff
  A Foundry template to compile and test Huff contracts.
  ☆52Updated 2 years ago
• 1ultimat3 / fuzzied
  Fuzzied - continuous fuzzing for smart contracts [ETHBerlin³ Submission]
  ☆11Updated 2 years ago
• orenyomtov / gas-meter
  A simple contract to accurately measure gas consumption of contract calls
  ☆18Updated 6 months ago
• hrkrshnn / notes
  ☆50Updated last year
• tintinweb / smart-contract-sanctuary-optimism
  🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠
  ☆36Updated 8 months ago
• jtriley-eth / erc6909-examples
  ☆14Updated last year
• jtriley-eth / super-liquidator
  ☆33Updated 2 years ago
• 0xbyte0 / tictactoe.sol
  An optimized tic-tac-toe game in solidity
  ☆27Updated 2 years ago
• kadenzipfel / veLP
  Curve style voting escrow (ve) Uniswap v4 hook contract
  ☆23Updated last year
• SkidsDAO / skidsdao-ctf-22-jul-22
  ☆10Updated 2 years ago
• brockelmore / graphstack
  ☆54Updated 2 years ago
• banteg / yearn-fees
  a quest for accurate fee accounting
  ☆30Updated 7 months ago
• kadenzipfel / hourglass
  ☆20Updated 2 years ago
• z80dev / gascomps
  gas comparisons between vyper and solady
  ☆20Updated 2 months ago
• morpho-org / morpho-security
  A collection of practical security-focused guides and checklists for Morpho smart contract development.
  ☆26Updated last year
• 0xKitsune / sstan
  Solidity static analyzer
  ☆82Updated 11 months ago