shafu0x / awesome-smart-contracts
The best smart contracts in one place.
β80Updated last week
Alternatives and similar repositories for awesome-smart-contracts:
Users that are interested in awesome-smart-contracts are comparing it to the libraries listed below
- πAutomatically identify missing or incomplete natspecβ92Updated 2 weeks ago
- Find the version that the project you currently develop or audit uses and quickly check which are the known smart contract security vulneβ¦β78Updated last year
- Readiness Assessment for CARE Endeavourβ46Updated 9 months ago
- The most optimized ERC20 & Wrapped Ether implementation.β142Updated 11 months ago
- A template repo to work with huff smart contracts and learn about low level EVM opcodes. Also Horse β.β102Updated last year
- A forkable template repo for easily writing and testing toy contractsβ57Updated last month
- List of Halmos resources.β48Updated 2 months ago
- Diagrams for Solidity contractsβ43Updated 9 months ago
- CTF challenges made by MiloTruckβ65Updated 3 months ago
- Most simple design of a stablecoin.β41Updated 3 weeks ago
- β58Updated last year
- Solidity Audit Report Generatorβ84Updated last year
- A forkable template repo for easily writing and testing toy contractsβ147Updated 10 months ago
- β33Updated 2 years ago
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.β57Updated 4 months ago
- Smart Contract Property-Based Testing Frameworkβ83Updated last month
- Foundry + Yul templateβ94Updated 11 months ago
- β44Updated 5 months ago
- β71Updated 4 months ago
- β125Updated 6 months ago
- β53Updated last year
- A collection of my personal security auditsβ64Updated 3 months ago
- β103Updated 2 years ago
- Optimised Uniswap V2 contracts written in Huff languageβ110Updated 7 months ago
- Price oracle manipulation attacks in defiβ49Updated 2 years ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity testsβ60Updated last year
- Series of CTF challenges based off real world smart contract vulnerabilities.β26Updated 8 months ago
- β109Updated 9 months ago
- Security Reviews and Audit Checklistsβ96Updated 7 months ago
- A simple template to perform whitehacks safelyβ169Updated last year