Certora / tutorials-code
Certora tutorials
☆24Updated this week
Alternatives and similar repositories for tutorials-code:
Users that are interested in tutorials-code are comparing it to the libraries listed below
- ☆35Updated last year
- Content for Electisec Reports Site☆27Updated last week
- Solidity static analyzer☆83Updated last year
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆73Updated last year
- The goal of this project is to automatically generate stack comments for huff macros☆50Updated last year
- ☆58Updated last year
- ☆65Updated 2 years ago
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆50Updated last year
- ☆70Updated last year
- Standard way to simulate governance actions from a timelock, multisig, or DAO.☆65Updated 4 months ago
- A forkable template repo for easily writing and testing toy contracts☆57Updated this week
- Simple Rust script for finding colliding 4byte function selectors☆57Updated last year
- A Solidity library for transient storage management ✨☆58Updated 3 weeks ago
- Euler Price Oracles, a library of immutable oracle adapters and components☆60Updated 2 weeks ago
- CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.☆14Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- Testing echidna vs. forge fuzzing☆75Updated 2 years ago
- A playground for the Ethereum Vault Connector (EVC)☆41Updated 9 months ago
- Foundry + Yul template☆94Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆53Updated 6 months ago
- The most gas optimized ERC-4337 account - written in Huff☆42Updated last year
- A general purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆32Updated this week
- Repository containing past audit reports☆53Updated last year
- ☆22Updated 3 months ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- Core contracts for the Doppler Protocol☆44Updated this week
- 🥪🦄 Uniswap V2 but resistant to sandwich attacks☆44Updated 2 months ago
- Diagrams for Solidity contracts☆45Updated 11 months ago
- ☆53Updated last year