Formal verification of WETH9.sol with Z3
☆59Nov 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
Sorting:
- ☆51Sep 11, 2023Updated 2 years ago
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- Optimised Uniswap V2 contracts written in Huff language☆114Apr 22, 2024Updated last year
- Foundry + Yul template☆97Dec 27, 2023Updated 2 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- Solidity snippets too edgy to be in Solady☆117Aug 23, 2024Updated last year
- utilities for more granular and realistic gas measuring in forge tests☆29Feb 9, 2024Updated 2 years ago
- Beacon Chain from scratch☆44Feb 9, 2023Updated 3 years ago
- ☆50Jun 12, 2022Updated 3 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆94Aug 12, 2023Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidity☆227Apr 19, 2023Updated 2 years ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆92Sep 28, 2022Updated 3 years ago
- GobblerWatch: Discord notifications for ArtGobblers☆21Mar 6, 2023Updated 2 years ago
- ☆87Sep 16, 2023Updated 2 years ago
- ☆31Oct 9, 2022Updated 3 years ago
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30May 7, 2022Updated 3 years ago
- ☆10Mar 2, 2023Updated 3 years ago
- ☆10Oct 24, 2022Updated 3 years ago
- Produce probabilities for economy-based environments.☆11Sep 10, 2022Updated 3 years ago
- ☆13Sep 17, 2022Updated 3 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- ☆18Mar 28, 2023Updated 2 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
- Tools for Yul.☆138Mar 29, 2023Updated 2 years ago
- Gas efficient routers for L2 applications☆116Sep 23, 2022Updated 3 years ago
- ☆108Feb 28, 2024Updated 2 years ago
- This is a solidity implementation of extremely efficient approximations for PI☆28May 13, 2022Updated 3 years ago
- Run arbitrary code on the EVM☆265Feb 21, 2024Updated 2 years ago
- The most optimized ERC20 & Wrapped Ether implementation.☆144Dec 31, 2023Updated 2 years ago
- Efficient beacon chain batch deposit contract written in huff☆22Oct 1, 2023Updated 2 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆18Sep 10, 2024Updated last year
- Ergonomic alternative to `approve`/`transferFrom` -- flash loans without external calls☆18Feb 2, 2022Updated 4 years ago
- A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.☆275Jul 3, 2024Updated last year
- Huff Implementation of VRGDAs☆41Sep 12, 2022Updated 3 years ago
- ☆21Sep 27, 2023Updated 2 years ago
- ☆24Apr 12, 2023Updated 2 years ago
- efficient libraries for working with min-heaps in solidity☆23Jun 12, 2023Updated 2 years ago
- ☆164Jul 30, 2023Updated 2 years ago
- Math library written in solidity for statistical function approximations like the Normal Cumulative Distribution Function.☆119Dec 4, 2023Updated 2 years ago