runtimeverification / kontrol-demoLinks
Foundry blog posts' executable demos
☆13Updated 3 months ago
Alternatives and similar repositories for kontrol-demo
Users that are interested in kontrol-demo are comparing it to the libraries listed below
Sorting:
- solidity compression utility☆20Updated 9 months ago
- ☆10Updated 3 years ago
- A solution to hats.finance's first CTF challenge☆10Updated 3 years ago
- ☆10Updated last year
- Quadratic Decay Exponential Surge☆11Updated 2 years ago
- A public good for Foundry forge based development☆22Updated 9 months ago
- Generate discrete random variates from a set of dynamically weighted elements in Solidity using a forest of trees data structure, based o…☆12Updated 2 years ago
- Solidity code☆10Updated 2 years ago
- ☆10Updated 2 years ago
- A lightweight, extensible foundry library for shell scripting.☆62Updated 3 years ago
- A simple template repository containing the necessary files for the flash loan workshop.☆10Updated 2 years ago
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆49Updated last year
- ☆11Updated 4 years ago
- ERC4626 vaults to ease interaction with Morpho Optimizers.☆43Updated last year
- A solidity library that works hand in hand with Phylax☆17Updated 2 months ago
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated 2 years ago
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Updated last year
- Example implementation of changing a Solidity contract bytecode during the constructor execution☆11Updated 2 years ago
- Easy to use vesting contracts written in Solidity.☆21Updated 2 years ago
- ☆10Updated 3 years ago
- Offchain Voting with Onchain Trustless Execution https://github.com/aragonzkresearch/research/blob/main/ovote/ovote.pdf☆11Updated 2 years ago
- ☆10Updated 2 years ago
- ☆29Updated 2 years ago
- 📦 A smart contract that distributes a balance of tokens according to a merkle root☆7Updated 5 months ago
- ☆50Updated 3 years ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- reworks of the ctf☆8Updated 2 years ago
- Reverse Liquidity Split (RLS) - Implementation in Solidity☆10Updated 3 years ago
- Constant-sum AMM curve on Uniswap v4☆18Updated 5 months ago
- Asm shenanigans, including WETH contract, but in assembly (leftover of a drunk-coding saturday night), Storage classic example (but in a…☆26Updated 3 years ago