This is non-exhaustive! Please feel free to submit a PR with additional resources.
- A basic dapp project
- Building a simple ERC20
- Introduction to Seth
- Symbolic execution with DSTest
- HEVM and Seth cheatsheet
- Use dapp.tools for Ethereum Contract Development
- Multi Collateral DAI
- Single Collateral DAI
- Tinlake
- Lootloose
- GEB
- Drai
- Rari Vaults
- Fractional Contracts
- MakerDAO Spells
- Pickle Protocol
- Fuse Simulations
- Dappsys V2
- Tinlake Tests
- Radicle Tests
- Optimism Tests
- Mooniswap Tests
- StringUtils
- DSS Charter
- DSS Vest
- DSS Deploy
- DSS Exigency
- DSS Exec-Lib
- MCD Ilk Registry