FVyper: A collection of useful Vyper contracts developed with formal methods
☆18Jun 28, 2020Updated 6 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple GUI for compiling and interacting with Vyper contracts.☆41Dec 15, 2022Updated 3 years ago
- Collection of Vyper contracts☆39Apr 15, 2023Updated 3 years ago
- Vyper version manager☆28Feb 6, 2025Updated last year
- ☆14May 2, 2022Updated 4 years ago
- Ethereum Vyper language support for Visual Studio Code☆70Dec 9, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆13May 13, 2022Updated 4 years ago
- A static verifer for Ethereum Smart Contracts written in Vyper☆51Feb 15, 2023Updated 3 years ago
- Calculate per-second rates for MCD applications☆11Jun 24, 2022Updated 4 years ago
- Ethernaut challenges solved with foundry / forge solidity scripts☆15Jan 5, 2023Updated 3 years ago
- Generate perfect Vyper compatible code headers every time.☆22Jul 30, 2022Updated 4 years ago
- the tiny vyper helper command☆37Jan 26, 2023Updated 3 years ago
- ERC721 in Vyper☆48Aug 27, 2018Updated 8 years ago
- Replaying Nomad bridge hack☆24Aug 4, 2022Updated 4 years ago
- A simple queue system for redis☆14Apr 24, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆16May 8, 2021Updated 5 years ago
- All smart contracts listed at vyperhub.io☆27Mar 7, 2021Updated 5 years ago
- An Awesome List: curated resources for Vyper, the Pythonic smart contract language for the EVM☆97Jan 11, 2023Updated 3 years ago
- a vyper interpreter☆313Oct 2, 2026Updated last month
- reference vyper contracts☆14Jul 27, 2022Updated 4 years ago
- A Prolog engine written in Solidity.☆16Feb 19, 2022Updated 4 years ago
- Vyper resources☆34Jun 5, 2022Updated 4 years ago
- Nouns Technical Specifications☆24Oct 6, 2022Updated 4 years ago
- Library for interacting with RMM protocol through ethers.js.☆15Feb 4, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Notes from the 278 semester class at Harvard☆20Aug 14, 2026Updated 2 months ago
- Jupyter kernel for the Michelson language☆18Mar 24, 2021Updated 5 years ago
- ☆15Dec 15, 2021Updated 4 years ago
- A smart contract language for Tezos☆12Mar 25, 2022Updated 4 years ago
- Lock-free, multi-producer, single-consumer burstable ring buffer for Rust☆18Jan 18, 2019Updated 7 years ago
- DRAI: Dollar-Pegged RAI☆15Apr 9, 2024Updated 2 years ago
- Use `forge` and `cast` commands in Python scripts☆19Apr 3, 2022Updated 4 years ago
- Miscellaneous notebooks for data analysis/visualization☆23Mar 6, 2022Updated 4 years ago
- Rust Primitives, Learnings, & Frameworks☆17Mar 29, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Code I wrote for my Master's thesis☆20Jan 12, 2023Updated 3 years ago
- ✦ Risedle interface☆19Aug 2, 2022Updated 4 years ago
- ape log caching plugin☆12Jul 22, 2022Updated 4 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 8 years ago
- This is my https://halite.io bot developed during Two Sigma's internal summer programming contest in 2016.☆10Dec 21, 2017Updated 8 years ago
- Vim syntax highlighting for the smart contract programming language Vyper☆28Mar 4, 2025Updated last year
- ☆37May 3, 2022Updated 4 years ago