runtimeverification / kontrol-demoLinks
Foundry blog posts' executable demos
☆13Updated last month
Alternatives and similar repositories for kontrol-demo
Users that are interested in kontrol-demo are comparing it to the libraries listed below
Sorting:
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- Huff-based Smart Contracts for creating Metamorphic (or "redeployable") EVM Contracts.☆46Updated 2 years ago
- ☆12Updated 2 years ago
- Yultsur is a Rust implementation of Yul.☆23Updated 3 years ago
- Huff Implementation of VRGDAs☆41Updated 2 years ago
- Smart contract audit / optimization reports generated by solstat.☆14Updated 2 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆13Updated 2 years ago
- ☆34Updated 2 years ago
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Updated last year
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- ☆33Updated 2 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago
- solidity compression utility☆20Updated 8 months ago
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- ☆29Updated 2 years ago
- Tstore huff template☆17Updated last year
- ☆51Updated last year
- ☆16Updated 10 months ago
- ☆41Updated 3 years ago
- Example setup of Forge tests and CI to do basic checks for storage collisions when iterating on upgradeable contract implementations.☆28Updated 2 years ago
- gas comparisons between vyper and solady☆20Updated 9 months ago
- Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools☆27Updated last year
- ☆35Updated 2 years ago
- A salmonella token built with foundry☆20Updated 3 years ago
- MEV Olympics☆44Updated 6 months ago
- ☆29Updated last year
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆49Updated last year