lucas-manuel / invariant-examples
☆164Updated last year
Alternatives and similar repositories for invariant-examples:
Users that are interested in invariant-examples are comparing it to the libraries listed below
- ☆102Updated 2 years ago
- A forkable template repo for easily writing and testing toy contracts☆148Updated last year
- This part of a small series of medium post dedicated to motivate myself while learning how the evm works.☆90Updated 7 months ago
- ☆158Updated 3 weeks ago
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆125Updated 7 months ago
- Pre-built security properties for commonly forked DeFi protocols☆192Updated last year
- ☆130Updated 10 months ago
- ☆92Updated last year
- easy POC template generation from the command line☆75Updated 7 months ago
- Core contracts of Morpho Optimizers.☆138Updated last month
- Use cursed ERC20s in foundry unit tests☆145Updated 2 years ago
- ERC4626 Property Tests☆178Updated 2 months ago
- A template repo to work with huff smart contracts and learn about low level EVM opcodes. Also Horse ♘.☆103Updated 2 years ago
- This repository contains my Rareskills Solidity Bootcamp work.☆125Updated last year
- Smart Contract Property-Based Testing Framework☆112Updated last month
- Foundry + Yul template☆95Updated last year
- ☆55Updated last year
- List of Halmos resources.☆54Updated 2 months ago
- ☆36Updated last year
- A smart contract security search utility☆74Updated 3 months ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆207Updated last year
- ☆281Updated 9 months ago
- Security Reviews and Audit Checklists☆115Updated last month
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- Personal portfolio of audits that I have participated in.☆56Updated last week
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆76Updated last year
- A simple template to perform whitehacks safely☆178Updated last year
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆69Updated 8 months ago
- ☆116Updated last year
- template for efficient paradigm ctf testing & scripts☆154Updated last year