vyperlang / verified-vyper-contracts
FVyper: A collection of useful Vyper contracts developed with formal methods
☆17Updated 4 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
- Vyper version manager☆25Updated 2 weeks ago
- Vim syntax highlighting for the smart contract programming language Vyper☆28Updated 3 months ago
- ☆14Updated 2 years ago
- ☆23Updated 3 years ago
- Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle☆37Updated 2 years ago
- Collection of Vyper contracts☆39Updated last year
- A simple contract for migrating from an old ERC20 token to a new ERC20 token.☆36Updated 3 years ago
- ☆48Updated 3 years ago
- the tiny vyper helper command☆38Updated 2 years ago
- Ethereum transaction arrival and inclusion time data extraction and reporting and MEV type classification☆17Updated 3 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
- Smart contracts for the Rari Stable Pool.☆25Updated 3 years ago
- Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.☆41Updated last year
- Core smart contracts of Gearbox V1☆64Updated 3 years ago
- A hyperoptimised implementation of the legendary Curve Tricrypto contract☆33Updated 2 years ago
- Templating for meta vaults☆23Updated 3 years ago
- Lazy airdrop based on private temporary ids☆42Updated 3 years ago
- ☆10Updated 2 years ago
- ☆18Updated 4 years ago
- Vyper Deep Dive Notes and Scripts☆26Updated last year
- Wrapped ETH, written in Yul+☆24Updated 2 years ago
- rough draft of cloneable univ3 swap receiver for openeing, closing, and editing single pair leveraged positions for multiple fuse pools☆28Updated 2 years ago
- Rari Capital Documentation☆17Updated 2 years ago
- Delegate your governance tokens to this contract and never worry about those pesky governance proposals again.☆22Updated 3 years ago
- Contract Test Suite☆19Updated 2 years ago
- Templating for meta vaults☆15Updated 3 years ago
- It provides helper functions to test the maple-core contracts.☆24Updated 2 years ago
- ☆13Updated 3 years ago
- A library for working with mutable byte buffers in Solidity.☆29Updated 11 months ago
- ☆21Updated 3 years ago