Alternatives and similar repositories for wake

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

• pessimistic-io / slitherin
  Slither Detectors by Pessimistic.io
  ☆373Updated last year
• ciaranmcveigh5 / ethernaut-x-foundry
  Ethernaut puzzles solved with foundry
  ☆281Updated 2 years ago
• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆350Updated this week
• 0xKitsune / solstat
  A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.
  ☆430Updated 2 years ago
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆431Updated last week
• 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…
  ☆386Updated 2 years ago
• ConsenSysDiligence / solidity-metrics
  Solidity Code Metrics
  ☆283Updated last year
• RareSkills / huff-puzzles
  These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
  ☆403Updated last year
• nascentxyz / pyrometer
  A tool for analyzing the security and parameters of a solidity smart contract
  ☆787Updated 9 months ago
• Perelyn-sama / yul_by_example
  Code examples in Yul
  ☆256Updated last year
• zobront / quickpoc
  easy POC template generation from the command line
  ☆324Updated last year
• zeroknots / brokentoken
  Foundry Test Suit to test weird ERC20 behavior
  ☆235Updated 2 years ago
• andreitoma8 / learn-yul
  Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
  ☆248Updated 9 months ago
• horsefacts / weth-invariant-testing
  ☆282Updated last year
• paradigmxyz / paradigm-ctf-2022
  Puzzles used in the 2022 Paradigm CTF
  ☆390Updated 3 years ago
• memester-xyz / surl
  HTTP Library for Solidity based on curl
  ☆332Updated 8 months ago
• jtriley2p / the-ethereum-virtual-machine
  ☆226Updated 2 years ago
• huff-language / huffmate
  A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
  ☆463Updated last year
• dmfxyz / murky
  Merkle Proof Generator and Validator in Solidity
  ☆492Updated 9 months ago
• alexfertel / bulloak
  Generate tests based on the Branching Tree Technique.
  ☆338Updated last month
• pcaversaccio / snekmate
  State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.
  ☆571Updated last week
• aviggiano / theauditorbook
  The Auditor Book
  ☆231Updated 2 years ago
• patrickd- / solidity-fuzzing-boilerplate
  Template repository intended to ease fuzzing components of Solidity projects, especially libraries.
  ☆212Updated last year
• Cyfrin / moccasin
  Titanoboa-based vyper smart contract development framework
  ☆170Updated 3 months ago
• nicolasgarcia214 / damn-vulnerable-defi-foundry
  Damn Vulnerable DeFi - Foundry Version
  ☆508Updated last year
• devtooligan / awesome-huff
  A curated list of resources for Huff language
  ☆312Updated last year
• Certora / Tutorials
  Practical tutorials of Certora Prover
  ☆241Updated 2 years ago
• OffcierCia / tips-solidity-code-auditors
  Gaining the most elusive of tips. Add your input and let's collect them all!
  ☆355Updated last year
• electisec / defi-fork-bugs
  Bugs in commonly forked DeFi protocols
  ☆489Updated 2 months ago
• 0xcacti / awesome-oracle-manipulation
  Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.
  ☆524Updated last year