Formal verification of WETH9.sol with Z3
☆58Nov 19, 2022Updated 3 years ago
Alternatives and similar repositories for weth
Users that are interested in weth are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆50Sep 11, 2023Updated 2 years ago
- Optimised Uniswap V2 contracts written in Huff language☆114Apr 22, 2024Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidity☆227Apr 19, 2023Updated 3 years ago
- utilities for more granular and realistic gas measuring in forge tests☆29Feb 9, 2024Updated 2 years ago
- Foundry + Yul template☆97Dec 27, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆16Jun 4, 2024Updated 2 years ago
- Beacon Chain from scratch☆43Feb 9, 2023Updated 3 years ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Feb 21, 2023Updated 3 years ago
- ☆10Oct 24, 2022Updated 3 years ago
- Solidity snippets too edgy to be in Solady☆116Aug 23, 2024Updated 2 years ago
- Produce probabilities for economy-based environments.☆11Sep 10, 2022Updated 3 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆94Aug 12, 2023Updated 3 years ago
- ☆88Sep 16, 2023Updated 2 years ago
- Official Foundry landing page☆17Jun 28, 2023Updated 3 years ago
- AI Agents on 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.
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30May 7, 2022Updated 4 years ago
- ☆23Apr 12, 2023Updated 3 years ago
- ☆13Sep 17, 2022Updated 3 years ago
- ☆31Oct 9, 2022Updated 3 years ago
- ☆19Jun 20, 2022Updated 4 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆18Sep 10, 2024Updated last year
- ☆50Jun 12, 2022Updated 4 years ago
- ☆18Mar 28, 2023Updated 3 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 4 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.
- The most optimized ERC20 & Wrapped Ether implementation.☆142Dec 31, 2023Updated 2 years ago
- Huff Implementation of VRGDAs☆41Sep 12, 2022Updated 3 years ago
- Tools for Yul.☆140Mar 29, 2023Updated 3 years ago
- ☆163Jul 30, 2023Updated 3 years ago
- Run arbitrary code on the EVM☆266Feb 21, 2024Updated 2 years ago
- A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.☆279Jul 3, 2024Updated 2 years ago
- ☆109Feb 28, 2024Updated 2 years ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Sep 28, 2022Updated 3 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Mar 9, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Efficient beacon chain batch deposit contract written in huff☆22Oct 1, 2023Updated 2 years ago
- This is a solidity implementation of extremely efficient approximations for PI☆29May 13, 2022Updated 4 years ago
- GobblerWatch: Discord notifications for ArtGobblers☆21Mar 6, 2023Updated 3 years ago
- Generalized EIP-3074 Invoker with batch transaction support.☆17Apr 27, 2024Updated 2 years ago
- Testing echidna vs. forge fuzzing☆77Dec 20, 2022Updated 3 years ago
- Gas efficient routers for L2 applications☆116Sep 23, 2022Updated 3 years ago
- https://twitter.com/jtriley_eth/status/1550459124047138819?s=20&t=cTBP-TSnIstNEwwPuRDF5Q☆16Jul 27, 2022Updated 4 years ago