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☆25Updated 4 months ago
- ☆14Updated 3 years ago
- Vim syntax highlighting for the smart contract programming language Vyper☆28Updated 3 months ago
- Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle☆37Updated 2 years ago
- the tiny vyper helper command☆38Updated 2 years ago
- Collection of Vyper contracts☆40Updated 2 years ago
- A hyperoptimised implementation of the legendary Curve Tricrypto contract☆33Updated 2 years ago
- ☆48Updated 4 years ago
- ☆23Updated 3 years ago
- Solidity smart contracts to enable cross-chain Ample☆16Updated 5 months ago
- ☆52Updated 4 years ago
- ☆10Updated 2 years ago
- ☆21Updated 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
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆44Updated 3 years ago
- Notional Finance Smart Contracts☆44Updated 4 years ago
- ☆26Updated 2 years ago
- EVM Opcodes, Assembler, and Disassembler☆23Updated 2 years ago
- Know if a call is from an EOA no matter what☆35Updated 3 years ago
- ☆19Updated 4 years ago
- Yield seeking vaults.☆16Updated 2 years ago
- ☆31Updated last year
- ☆15Updated 3 years ago
- ☆22Updated last year
- ERC-4626 compatible CryptoSwap pool☆18Updated 2 years ago
- ☆29Updated 5 months ago
- Contract Test Suite☆19Updated 3 years ago
- Prettier config optimized to reduce AST churn & conform to solidity spec☆30Updated 2 years ago
- Smart contract implementing fixed point math operations using structs for type checking.☆29Updated 4 years ago
- Smart contracts for the Rari Stable Pool.☆24Updated last month