code-423n4 / 2023-06-llama
☆12Updated last year
Alternatives and similar repositories for 2023-06-llama:
Users that are interested in 2023-06-llama are comparing it to the libraries listed below
- ☆11Updated last year
- ☆17Updated last year
- Content for Electisec Reports Site☆27Updated last week
- Smart contract exploit proof of concept exploit standard interface☆16Updated last year
- ☆54Updated last year
- ☆60Updated last year
- Readiness Assessment for CARE Endeavour☆49Updated 11 months ago
- ☆35Updated last year
- Standard way to simulate governance actions from a timelock, multisig, or DAO.☆65Updated 4 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆73Updated last year
- Utils to publish transaction create via Foundry on Gnosis Safe☆12Updated last year
- box of chocolates☆18Updated last month
- One click magically working Foundry + Medusa + Echidna Starter☆31Updated last week
- A markdown based template for writing spearbit reports☆30Updated 7 months ago
- Core contracts of Morpho Optimizers on AaveV3☆38Updated this week
- Euler Price Oracles, a library of immutable oracle adapters and components☆60Updated 2 weeks ago
- ☆10Updated last year
- A template repo to work with huff smart contracts and learn about low level EVM opcodes. Also Horse ♘.☆102Updated 2 years ago
- ☆31Updated 11 months ago
- The Incentivized Action Market (IAM) Protocol.☆67Updated last month
- Series of CTF challenges based off real world smart contract vulnerabilities.☆26Updated 10 months ago
- Formally verifying consistency between Solmate and Solady using Halmos☆53Updated 6 months ago
- ☆66Updated 2 years ago
- A static analyzer for Solidity, built upon regex and ASTs.☆25Updated last year
- Permissionless onchain exploit bounties tied to a circuit breaker☆42Updated 11 months ago
- ☆48Updated last year
- Diagrams for Solidity contracts☆45Updated 11 months ago
- ☆10Updated last year
- 👃Automatically identify missing or incomplete natspec☆93Updated 3 weeks ago