vyperlang / verified-vyper-contractsLinks
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
Sorting:
- Vyper version manager☆26Updated 4 months ago
- ☆14Updated 3 years ago
- ☆23Updated 3 years ago
- A library for working with mutable byte buffers in Solidity.☆31Updated last year
- Smart contracts for the Rari Stable Pool.☆24Updated this week
- Notional Finance Smart Contracts☆44Updated 4 years ago
- Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.☆42Updated 2 years ago
- Vim syntax highlighting for the smart contract programming language Vyper☆28Updated 3 months ago
- Yield Protocol v1☆44Updated last year
- ☆31Updated last year
- Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle☆37Updated 2 years ago
- ☆21Updated 4 years ago
- Lazy airdrop based on private temporary ids☆42Updated 3 years ago
- A hyperoptimised implementation of the legendary Curve Tricrypto contract☆33Updated 2 years ago
- ☆26Updated 2 years ago
- A gas free offering of common Dai and Chai operations☆33Updated 2 years ago
- Maximizing liquidity utilization while maintaining 50/50 inventory ratio☆27Updated 2 years ago
- Templating for meta vaults☆23Updated 3 years ago
- Primitive protocol solidity contracts.☆43Updated 2 years ago
- Core smart contracts of Gearbox V1☆64Updated 3 years ago
- Proof of concept for a delegatecall proxy upgrade pattern without storage usage☆55Updated 10 months ago
- Option based liquidity mining for projects☆30Updated 2 years ago
- Collection of Vyper contracts☆40Updated 2 years ago
- ☆52Updated 4 years ago
- Rari Capital Documentation☆17Updated 3 years ago
- We are dedicated to stopping flash loan and oracle manipulation attacks. Please consider contributing if you have additional information.…☆20Updated 4 years ago
- Implementation and testing for core Dharma Token (dToken) contracts, including Dharma Dai and Dharma USD Coin.☆35Updated 2 years ago
- Easy leverage on G-UNI using Dai Flash Mint Module.☆63Updated 3 years ago
- Simple m-of-n multisig proxy written in handcrafted EVM bytcode☆21Updated 7 years ago
- Yield seeking vaults.☆16Updated 2 years ago