defi-wonderland / natspec-smellsLinks
πAutomatically identify missing or incomplete natspec
β92Updated 3 months ago
Alternatives and similar repositories for natspec-smells
Users that are interested in natspec-smells are comparing it to the libraries listed below
Sorting:
- A VSCode extension offering utilities for solidity smart-contract development.β133Updated 2 months ago
- Solidity Audit Report Generatorβ84Updated 2 years ago
- A forkable template repo for easily writing and testing toy contractsβ153Updated last year
- Mutation Testing for Ethereum Smart Contracts, support for Foundryβ128Updated last year
- β165Updated 2 years ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity testsβ76Updated last year
- β102Updated 3 years ago
- A simple template to perform whitehacks safelyβ179Updated 2 years ago
- Exercises for the Yield 2022 Mentorship progamβ61Updated 3 years ago
- Diff your Github against Etherscan.β139Updated this week
- β61Updated last year
- Use cursed ERC20s in foundry unit testsβ144Updated 2 years ago
- β160Updated last week
- The most optimized ERC20 & Wrapped Ether implementation.β145Updated last year
- β35Updated 2 years ago
- A CTF protocol, where players create and solve EVM puzzles to earn NFTs.β136Updated last year
- Smart Contract Property-Based Testing Frameworkβ128Updated 6 months ago
- β136Updated last year
- Diagrams for Solidity contractsβ47Updated last year
- β94Updated last year
- β87Updated last year
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executedβ¦β113Updated this week
- β61Updated 2 years ago
- Solidity snippets too edgy to be in Soladyβ117Updated last year
- Practical tips for building secure web3 projects at every stage, from the initial design to deploymentβ74Updated last month
- List of Halmos resources.β57Updated 7 months ago
- β55Updated 2 months ago
- Hunt for common bad practices in Solidity smart contracts !β123Updated 2 years ago
- β70Updated 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