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
Sorting:
- A high-level python transpiler for weiroll☆12Jun 21, 2021Updated 4 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Jul 22, 2022Updated 3 years ago
- A list of worth-reading articles about Cryptohraphy☆16Jul 24, 2024Updated last year
- ☆46May 24, 2024Updated last year
- Solidity error logging☆23Sep 21, 2021Updated 4 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
- Python wrapper around https://github.com/bluealloy/revm/ using PyO3☆184Jan 28, 2026Updated last month
- repository for machine learning algorithms and systems on emergent runtimes☆21Jan 31, 2023Updated 3 years ago
- ☆29Jul 22, 2022Updated 3 years ago
- Vyper examples of LZ-enabled Omnichain contracts☆15Feb 26, 2023Updated 3 years ago
- Produce probabilities for economy-based environments.☆11Sep 10, 2022Updated 3 years ago
- ☆12Feb 3, 2022Updated 4 years ago
- Variable Rate Gradual Dutch Auctions with Martingale Price Correction.☆37Sep 9, 2022Updated 3 years ago
- Gas-Efficient Solidity DateTime Library☆20Nov 10, 2022Updated 3 years ago
- optimized queue datastructure☆32Jul 26, 2022Updated 3 years ago
- ☆17Mar 25, 2023Updated 2 years ago
- The Learning Curve smart contracts☆31Feb 1, 2023Updated 3 years ago
- A Solidity library designed to cram as many arbitrary values into as small a space as possible.☆53Jan 6, 2023Updated 3 years ago
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Mar 25, 2025Updated 11 months ago
- A Hardhat plugin that uses Warp to bring Solidity contracts to StarkNet☆19Jun 20, 2025Updated 8 months ago
- Use `forge` and `cast` commands in Python scripts☆19Apr 3, 2022Updated 3 years ago
- 🎛 Core smart contracts of Uniswap V2☆16Oct 1, 2024Updated last year
- ☆12Jan 30, 2023Updated 3 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Oct 19, 2022Updated 3 years ago
- ☆31Oct 9, 2022Updated 3 years ago
- StarkNet smart contract fuzzer☆81Jul 8, 2022Updated 3 years ago
- Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine☆344Jun 7, 2022Updated 3 years ago
- ☆24Oct 4, 2023Updated 2 years ago
- Storage Slot Math Begone (Beta)☆26Jan 2, 2023Updated 3 years ago
- ☆25Nov 8, 2022Updated 3 years ago
- My notes and code from the Paradigm CTF☆42Aug 22, 2022Updated 3 years ago
- Simple m-of-n multisig proxy written in handcrafted EVM bytcode☆21Sep 5, 2017Updated 8 years ago
- Library for interacting with RMM protocol through ethers.js.☆15Feb 4, 2023Updated 3 years ago
- A cli version of the Nomad Sparse Merklee Tree Accumulator☆19May 19, 2022Updated 3 years ago
- A research-only integration of Sovereign with Celestia☆20May 30, 2023Updated 2 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- Formal verification of WETH9.sol with Z3☆59Nov 19, 2022Updated 3 years ago