☆29Mar 3, 2022Updated 4 years ago
Alternatives and similar repositories for dappsys-v2
Users that are interested in dappsys-v2 are comparing it to the libraries listed below
Sorting:
- ☆14Feb 2, 2021Updated 5 years ago
- ☆48May 8, 2021Updated 4 years ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Jun 20, 2025Updated 9 months ago
- hardhat template to compare various error gas cost in solidity☆23Dec 21, 2021Updated 4 years ago
- Interface files for the vault contracts☆10Jul 4, 2022Updated 3 years ago
- simple lockfile for your dapp's addresses and artifacts☆51Aug 12, 2022Updated 3 years ago
- A simple P5JSFactory☆12Apr 8, 2023Updated 2 years ago
- ☆24Mar 8, 2023Updated 3 years ago
- Smart contracts for the Gnosis Protocol v2☆164Apr 27, 2022Updated 3 years ago
- Asm shenanigans, including WETH contract, but in assembly (leftover of a drunk-coding saturday night), Storage classic example (but in a…☆26Nov 25, 2021Updated 4 years ago
- Wrapped ETH, written in Yul+☆24Jun 6, 2022Updated 3 years ago
- DRAI: Dollar-Pegged RAI☆14Apr 9, 2024Updated last year
- Generic ERC20 wrapper solidity smart contract☆17Oct 30, 2021Updated 4 years ago
- Ethereum Tx Decoder☆15Aug 17, 2021Updated 4 years ago
- ☆10May 18, 2023Updated 2 years ago
- Solidity error logging☆23Sep 21, 2021Updated 4 years ago
- Update or revert to a specific DappTools commit with ease.☆37Jan 3, 2022Updated 4 years ago
- ☆10Jul 29, 2025Updated 7 months ago
- [Optimism] Plugins!☆16Apr 9, 2021Updated 4 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- A simple, seamless way to support your favorite opensource project.☆17Nov 13, 2022Updated 3 years ago
- Know if a call is from an EOA no matter what☆33Jun 25, 2021Updated 4 years ago
- ☆15Dec 15, 2021Updated 4 years ago
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆16May 8, 2021Updated 4 years ago
- Template repo for quickly creating an HTTP API with Rust hosted on AWS Lambda☆12Jul 26, 2022Updated 3 years ago
- Flexible, minimalist, and gas-optimized yield aggregator protocol for earning interest on any ERC20 token.☆287Apr 18, 2022Updated 3 years ago
- Generalised ERC721 Auction House☆12Dec 16, 2021Updated 4 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Nov 29, 2021Updated 4 years ago
- List of currently developed optimism bridges☆26May 25, 2021Updated 4 years ago
- ☆28Dec 7, 2022Updated 3 years ago
- 🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…☆101Apr 4, 2025Updated 11 months ago
- ☆15Mar 7, 2022Updated 4 years ago
- circom runtime☆20Oct 18, 2024Updated last year
- Library for building symbolically executable stack-based virtual machines☆76Oct 20, 2022Updated 3 years ago
- ☆124Feb 28, 2023Updated 3 years ago
- An implementation of the Rift Protocol in Solidity☆15Jan 9, 2023Updated 3 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆18Sep 10, 2024Updated last year
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Aug 27, 2024Updated last year
- Composable building blocks for Ethereum contracts☆572Mar 12, 2022Updated 4 years ago