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
Sorting:
- Vyper version manager☆25Updated 3 months ago
- ☆14Updated 3 years ago
- ☆10Updated 2 years ago
- ☆23Updated 3 years ago
- ☆48Updated 4 years ago
- Vim syntax highlighting for the smart contract programming language Vyper☆28Updated 2 months 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
- Collection of Vyper contracts☆40Updated 2 years ago
- Yield seeking vaults.☆16Updated 2 years ago
- A library designed to create a random ERC721 drawing from an ERC20 (Miso token) using Chainlink VRF☆27Updated 3 years ago
- Know if a call is from an EOA no matter what☆35Updated 3 years ago
- ☆21Updated 4 years ago
- Notional Finance Smart Contracts☆44Updated 4 years ago
- Solidity error logging☆23Updated 3 years ago
- Eth2 CLI debugging tool☆37Updated 2 months ago
- ☆29Updated 2 months ago
- Templating for meta vaults☆23Updated 3 years ago
- Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.☆42Updated 2 years ago
- ☆18Updated 4 years ago
- Smart contracts for the Rari Stable Pool.☆24Updated 2 weeks ago
- Proof of concept for a delegatecall proxy upgrade pattern without storage usage☆55Updated 9 months ago
- Update or revert to a specific DappTools commit with ease.☆37Updated 3 years ago
- the tiny vyper helper command☆38Updated 2 years ago
- Rari Capital Documentation☆17Updated 2 years ago
- Start a Hardhat Network node from the command line☆12Updated 3 years ago
- Everything you need to create your first account abstraction contract in one place☆30Updated 4 years ago
- ☆52Updated 4 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
- ☆16Updated 2 years ago