A static verifer for Ethereum Smart Contracts written in Vyper
☆51Feb 15, 2023Updated 3 years ago
Alternatives and similar repositories for 2vyper
Users that are interested in 2vyper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Isolated Safe Environment to Execute Foundry Projects.☆44Jul 22, 2022Updated 3 years ago
- Vyper examples of LZ-enabled Omnichain contracts☆15Feb 26, 2023Updated 3 years ago
- An educational rewrite of Uniswap V2 in Vyper using Foundry.☆39Aug 16, 2022Updated 3 years ago
- A Curve-like AMM for Secret Network☆16Jul 3, 2021Updated 4 years ago
- ☆29Jul 22, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Python wrapper around https://github.com/bluealloy/revm/ using PyO3☆184Jan 28, 2026Updated 2 months ago
- A high-level python transpiler for weiroll☆12Jun 21, 2021Updated 4 years ago
- ☆18Nov 9, 2022Updated 3 years ago
- ☆11Jul 27, 2022Updated 3 years ago
- ☆45May 24, 2024Updated last year
- ERC-4626 compatible CryptoSwap pool☆18Jul 25, 2022Updated 3 years ago
- Library for interacting with RMM protocol through ethers.js.☆15Feb 4, 2023Updated 3 years ago
- A list of worth-reading articles about Cryptohraphy☆16Jul 24, 2024Updated last year
- The Learning Curve smart contracts☆31Feb 1, 2023Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Produce probabilities for economy-based environments.☆11Sep 10, 2022Updated 3 years ago
- ☆109Feb 19, 2023Updated 3 years ago
- Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine☆343Jun 7, 2022Updated 3 years ago
- ☆48Jun 7, 2022Updated 3 years ago
- ☆31Oct 9, 2022Updated 3 years ago
- Variable Rate Gradual Dutch Auctions with Martingale Price Correction.☆37Sep 9, 2022Updated 3 years ago
- 🎛 Core smart contracts of Uniswap V2☆16Oct 1, 2024Updated last year
- ☆17Mar 25, 2023Updated 3 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 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.
- repository for machine learning algorithms and systems on emergent runtimes☆21Jan 31, 2023Updated 3 years ago
- EIP 4626 in Cairo lang for Starknet☆52Sep 14, 2022Updated 3 years ago
- Launch a Jupyter Notebook using the Ape Framework☆19May 6, 2024Updated last year
- ☆74Jun 10, 2022Updated 3 years ago
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Mar 8, 2023Updated 3 years ago
- Scripts to record and measure virtual profit on curve.fi, written in Python☆22May 7, 2022Updated 3 years ago
- This a repo supporting an artcile on https://etherworld.co☆11Feb 16, 2019Updated 7 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Mar 9, 2023Updated 3 years ago
- Solidity error logging☆23Sep 21, 2021Updated 4 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.
- optimized queue datastructure☆32Jul 26, 2022Updated 3 years ago
- Zero-to-One Solidity with Simplicity-first.☆181Apr 5, 2025Updated last year
- ☆12Feb 3, 2022Updated 4 years ago
- Math library written in solidity for statistical function approximations like the Normal Cumulative Distribution Function.☆119Dec 4, 2023Updated 2 years ago
- A proxy node example using Reth!☆93Aug 12, 2023Updated 2 years ago
- StarkNet smart contract fuzzer☆81Jul 8, 2022Updated 3 years ago
- Use `forge` and `cast` commands in Python scripts☆19Apr 3, 2022Updated 4 years ago