code-423n4 / 2023-02-ethosLinks
☆16Updated last year
Alternatives and similar repositories for 2023-02-ethos
Users that are interested in 2023-02-ethos are comparing it to the libraries listed below
Sorting:
- ERC4626 Property Tests☆185Updated 3 months ago
- excessively safe solidity calls☆241Updated 2 years ago
- Foundry-based repo for V2 tools, expansions, new vaults, and surrounding infrastructure.☆152Updated last month
- Core contracts of Morpho Optimizers.☆139Updated 8 months ago
- ☆12Updated 2 years ago
- The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.☆138Updated 4 months ago
- Zero-to-One Solidity with Simplicity-first.☆178Updated 6 months ago
- ☆139Updated last year
- Diff your Github against Etherscan.☆140Updated last week
- ☆159Updated 3 weeks ago
- An index repository with submodules for different examples of Certora projects☆184Updated last week
- Reference implementation for ERC-7579☆120Updated 7 months ago
- ☆235Updated last year
- A CTF protocol, where players create and solve EVM puzzles to earn NFTs.☆136Updated last year
- ⚒️ Start your next Solidity project with Foundry in seconds☆202Updated last month
- ERC-4626 wrappers for common yield-generating platforms☆145Updated 9 months ago
- ☆46Updated last year
- Smart Contract Property-Based Testing Framework☆131Updated 7 months ago
- ☆130Updated last year
- Modern collection of testing assertions and logging utilities for Solidity☆184Updated 10 months ago
- MetaMorpho☆138Updated this week
- Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation☆134Updated last year
- Diff EVM-compatible chains in a friendly format☆290Updated 8 months ago
- ☆15Updated 2 years ago
- ☆68Updated last year
- A forkable template repo for easily writing and testing toy contracts☆153Updated last year
- Helper smart contract to make easier and safer usage of the `CREATE2` EVM opcode.☆305Updated this week
- ☆10Updated last year
- A repo for ERC4626 Interfaces and Utilities☆185Updated 2 years ago
- Solutions to the Damn Vulnerable DeFi challenges ⛳️☆44Updated 2 years ago