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
- ☆14Updated 2 years ago
- Vyper version manager☆25Updated 2 months ago
- ☆10Updated 2 years ago
- Solidity smart contracts to enable cross-chain Ample☆16Updated 4 months ago
- Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle☆37Updated 2 years ago
- ☆48Updated 3 years ago
- Website to enable users to add the Flashbots Protect RPC endpoint to MetaMask.☆28Updated 3 years ago
- ☆23Updated 3 years ago
- Rari Capital Documentation☆17Updated 2 years ago
- Collection of Vyper contracts☆40Updated 2 years ago
- Vim syntax highlighting for the smart contract programming language Vyper☆29Updated last month
- rough draft of cloneable univ3 swap receiver for openeing, closing, and editing single pair leveraged positions for multiple fuse pools☆28Updated 3 years ago
- A flashloan module for Gnosis Safe.☆45Updated 3 years ago
- It provides helper functions to test the maple-core contracts.☆24Updated 2 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
- Know if a call is from an EOA no matter what☆35Updated 3 years ago
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆44Updated 3 years ago
- Maximizing liquidity utilization while maintaining 50/50 inventory ratio☆26Updated 2 years ago
- ☆29Updated 3 months ago
- A simple workspace based interface to the solidity-parser and objectified Abstract Syntax Tree☆16Updated 11 months ago
- ☆21Updated 4 years ago
- Contract Test Suite☆19Updated 3 years ago
- the tiny vyper helper command☆38Updated 2 years ago
- Agent-based simulation environment for PoS Ethereum☆52Updated 2 years ago
- ☆26Updated 2 years ago
- ☆28Updated 3 years ago
- EVM Opcodes, Assembler, and Disassembler☆23Updated 2 years ago
- cryptoeconomics for gamers☆20Updated 3 years ago
- defi-based organizations using sushi and bentobox☆21Updated 3 years ago
- Deployed contracts, helper contract, js and ts bindings☆12Updated 4 years ago