Alternatives and similar repositories for awesome-wake-tests

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

• magnetto90 / rareskills-blog-index
  Index of Rareskill Blog posts using playwright
  ☆21Updated last year
• Certora / tutorials-code
  Certora tutorials
  ☆26Updated last month
• rappie / echidna-curve-reentrancy-hack
  Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
  ☆28Updated last year
• kkrt-labs / cairo0-starter
  A set of exercises to get started with Cairo0
  ☆20Updated 6 months ago
• euler-xyz / euler-swap
  EulerSwap is an automated market maker (AMM) that integrates with EVK vaults and the EVC to provide deeper liquidity for swaps.
  ☆48Updated 2 weeks ago
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆57Updated 8 months ago
• chainlight-io / publications
  ☆87Updated last month
• ETAAcademy / ETAAcademy-Audit
  Web3.0 Audit Resources and Competition Materials
  ☆19Updated 2 weeks ago
• fiveoutofnine / tardis
  Collection of past CTFs to play and practice locally.
  ☆52Updated last year
• iphelix / euler-exploit-poc
  ☆49Updated 2 years ago
• goheesheng / Rust-Audit-Roadmap
  ☆35Updated last year
• PositiveSecurity / tron-audit-guide
  Checklist for security audit of tron projects by @positivesecurity
  ☆25Updated last year
• gustavo-grieco / quimera
  Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
  ☆78Updated last month
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• 0xbok / ecdsa-vuln-poc
  ☆87Updated last year
• BlockChomper / ctf-challenges
  A collection of ctf challenges based on Rareskills educational content
  ☆36Updated 9 months ago
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆29Updated last year
• RareSkills / invariant-testing-foundry-tutorial
  This code accompanies the invariant testing tutorial on our website.
  ☆19Updated 2 years ago
• Elyx0 / pectra-whitehat-rescue-7702
  ☆34Updated 5 months ago
• pcaversaccio / tornado-cash-exploit
  This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…
  ☆60Updated this week
• jtriley2p / inline-yul-style-guide
  A mostly mostly reasonable approach to inline Yul styling.
  ☆30Updated last year
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆55Updated last year
• Certora / SecurityReports
  Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…
  ☆24Updated 3 weeks ago
• perimetersec / fuzzlib
  General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing
  ☆52Updated 3 months ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• 0xnirlin / Thirdweb-Exploit-POC
  Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.
  ☆17Updated last year
• deliriusz / foundry-yul-puzzles
  Foundry + Yul puzzles
  ☆33Updated 2 years ago
• banteg / legible-math
  Safer than SafeMath. Goes up to 11!
  ☆39Updated 5 months ago
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated 2 years ago
• perimetersec / arachne
  Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.
  ☆17Updated 7 months ago