vyperlang / verified-vyper-contractsLinks
FVyper: A collection of useful Vyper contracts developed with formal methods
☆17Updated 5 years ago
Alternatives and similar repositories for verified-vyper-contracts
Users that are interested in verified-vyper-contracts are comparing it to the libraries listed below
Sorting:
- Maximizing liquidity utilization while maintaining 50/50 inventory ratio☆27Updated 3 years ago
- Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.☆42Updated 2 years ago
- ☆80Updated 2 years ago
- Double the governance, double the fun!☆61Updated 3 years ago
- Memory access with runtime typechecking in Solidity☆75Updated 2 years ago
- Update or revert to a specific Foundry branch with ease.☆44Updated 3 years ago
- MakerDAO Flash Mint Module☆49Updated 2 years ago
- It provides helper functions to test the maple-core contracts.☆25Updated 2 years ago
- Vyper version manager☆28Updated 8 months ago
- ☆54Updated 3 years ago
- ☆126Updated 3 years ago
- Delegate your governance tokens to this contract and never worry about those pesky governance proposals again.☆22Updated 3 years ago
- Generic factory for deploying upgradeable proxy contracts☆27Updated 2 years ago
- Merge Mock - testing tool for the Ethereum Merge☆41Updated 3 years ago
- Wrapped ETH, written in Yul+☆24Updated 3 years ago
- A Unified Yul+ Toolchain☆44Updated 3 years ago
- Simulates a call to Convex Finance's system shutdown method, which uses about 16M gas☆59Updated 2 years ago
- Templating for meta vaults☆23Updated 3 years ago
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆50Updated last year
- Core smart contracts of Sherlock V2☆23Updated 3 months ago
- General Token Incentives Infrastructure☆69Updated last year
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 6 years ago
- ERC20 tradable version of locked JEWEL☆30Updated 3 years ago
- A set of simple solidity contracts to extend ENS functionality to other smart contracts☆37Updated 3 years ago
- ☆79Updated 3 years ago
- This repository offers a collection of standalone Tenderly integration examples, catering to diverse use cases, to jumpstart your project…☆41Updated last year
- ☆31Updated 3 years ago
- it's all shit!☆69Updated 3 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 3 years ago
- Smart contracts for the Rari Stable Pool.☆24Updated last month