Alternatives and similar repositories for wake:

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

• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆305Updated last month
• huff-language / huffmate
  A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
  ☆446Updated 7 months ago
• immunefi-team / forge-poc-templates
  ☆424Updated 3 months ago
• Perelyn-sama / yul_by_example
  Code examples in Yul
  ☆257Updated 5 months ago
• jtriley2p / the-ethereum-virtual-machine
  ☆224Updated last year
• pessimistic-io / slitherin
  Slither Detectors by Pessimistic.io
  ☆357Updated 7 months ago
• zeroknots / brokentoken
  Foundry Test Suit to test weird ERC20 behavior
  ☆237Updated last year
• horsefacts / weth-invariant-testing
  ☆280Updated 6 months ago
• ciaranmcveigh5 / ethernaut-x-foundry
  Ethernaut puzzles solved with foundry
  ☆272Updated last year
• RareSkills / solidity-riddles
  A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features. Some are easy, and s…
  ☆323Updated last year
• RareSkills / huff-puzzles
  These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
  ☆383Updated 5 months ago
• electisec / defi-fork-bugs
  Bugs in commonly forked DeFi protocols
  ☆454Updated 2 months ago
• a16z / halmos
  A symbolic testing tool for EVM smart contracts
  ☆865Updated this week
• nascentxyz / pyrometer
  A tool for analyzing the security and parameters of a solidity smart contract
  ☆751Updated last week
• zobront / quickpoc
  easy POC template generation from the command line
  ☆318Updated last year
• dmfxyz / murky
  Merkle Proof Generator and Validator in Solidity
  ☆442Updated 2 months ago
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆351Updated this week
• aviggiano / theauditorbook
  The Auditor Book
  ☆232Updated last year
• foundry-rs / hardhat-foundry-template
  Minimal template to get started with Foundry + Hardhat
  ☆240Updated 2 years ago
• devtooligan / awesome-huff
  A curated list of resources for Huff language
  ☆311Updated last year
• spearbit / armory
  A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition…
  ☆398Updated last year
• Consensys / solidity-metrics
  Solidity Code Metrics
  ☆257Updated 2 months ago
• nicolasgarcia214 / damn-vulnerable-defi-foundry
  Damn Vulnerable DeFi - Foundry Version
  ☆500Updated last year
• alexfertel / bulloak
  Generate tests based on the Branching Tree Technique.
  ☆290Updated 2 weeks ago
• Sabnock01 / uniswap-resources
  All things Uniswap
  ☆181Updated last year
• 0xKitsune / solstat
  A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.
  ☆430Updated last year
• engn33r / DeFi-Risk-Modelling-Awesome
  Resources for the budding field of risk modelling and analysis in DeFi
  ☆152Updated 9 months ago
• andreitoma8 / learn-yul
  Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
  ☆233Updated last month
• Picodes / 4naly3er
  Static smart contract code 4naly3er
  ☆523Updated 6 months ago
• 0xKitsune / EVM-Book
  A collection of EVM related information.
  ☆328Updated 2 years ago