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 last month
- ☆14Updated 2 years ago
- Rari Capital Documentation☆17Updated 2 years ago
- A library for working with mutable byte buffers in Solidity.☆30Updated last year
- Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.☆41Updated last year
- ☆48Updated 3 years ago
- Templating for meta vaults☆23Updated 3 years ago
- ☆21Updated 4 years ago
- Yield seeking vaults.☆16Updated 2 years ago
- Collection of Vyper contracts☆39Updated last year
- ☆10Updated 2 years ago
- Lazy airdrop based on private temporary ids☆42Updated 3 years ago
- Vim syntax highlighting for the smart contract programming language Vyper☆29Updated 3 weeks ago
- testing https://github.com/radicle-dev/radicle-contracts☆14Updated 4 years ago
- Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle☆37Updated 2 years ago
- EVM Opcodes, Assembler, and Disassembler☆23Updated 2 years ago
- ☆18Updated 4 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
- Smart contracts for the Rari Stable Pool.☆25Updated 3 years ago
- Know if a call is from an EOA no matter what☆35Updated 3 years ago
- Primitive protocol solidity contracts.☆43Updated 2 years ago
- Cross asset swaps using Curve and Synthetix☆30Updated 3 years ago
- A flashloan module for Gnosis Safe.☆46Updated 3 years ago
- Contract Test Suite☆19Updated 2 years ago
- ☆51Updated 3 years ago
- Delegate your governance tokens to this contract and never worry about those pesky governance proposals again.☆22Updated 3 years ago
- MakerDAO Flash Mint Module☆49Updated 2 years ago
- a rust SDK for the gelato relay, using ethers-rs☆30Updated 2 years ago
- ☆31Updated 9 months ago
- Visor specific Uniswap v3 managed position analytics☆30Updated last year