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:
- Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.☆42Updated 2 years ago
- Maximizing liquidity utilization while maintaining 50/50 inventory ratio☆27Updated 3 years ago
- Double the governance, double the fun!☆61Updated 3 years ago
- Vyper version manager☆28Updated 8 months ago
- it's all shit!☆69Updated 3 years ago
- Delegate your governance tokens to this contract and never worry about those pesky governance proposals again.☆22Updated 3 years ago
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆44Updated 3 years ago
- ☆125Updated 3 years ago
- Update or revert to a specific Foundry branch with ease.☆44Updated 3 years ago
- It provides helper functions to test the maple-core contracts.☆25Updated 2 years 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
- ☆54Updated 2 years ago
- A Unified Yul+ Toolchain☆44Updated 2 years ago
- Merge Mock - testing tool for the Ethereum Merge☆41Updated 3 years ago
- General Token Incentives Infrastructure☆69Updated last year
- Wrapped ETH, written in Yul+☆24Updated 3 years ago
- ☆80Updated 2 years ago
- Streamlined template for getting started with DappTools and Solmate.☆51Updated 3 years ago
- Low gas implementation of batched NFT reveals☆55Updated 3 years ago
- Core smart contracts of Gearbox V1☆64Updated 4 years ago
- Token-based Exchange☆85Updated last year
- Memory access with runtime typechecking in Solidity☆75Updated 2 years ago
- ☆81Updated 3 years ago
- Update or revert to a specific DappTools commit with ease.☆37Updated 3 years ago
- MakerDAO Flash Mint Module☆49Updated 2 years ago
- Maple Core Protocol☆74Updated 3 years ago
- Implementation of a non-transferrable NFT using non-financial incentivization.☆84Updated 3 years ago
- Easy leverage on G-UNI using Dai Flash Mint Module.☆62Updated 3 years ago
- Get up to date cToken data using 20% less gas without mutating state.☆67Updated 2 years ago
- The Learning Curve smart contracts☆31Updated 2 years ago