costa-group / gasol-optimizerLinks
☆108Updated last week
Alternatives and similar repositories for gasol-optimizer
Users that are interested in gasol-optimizer are comparing it to the libraries listed below
Sorting:
- Tools for Yul.☆138Updated 2 years ago
- EVM ByteCode To Opcode Disassembler☆61Updated 7 months ago
- ☆90Updated 4 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Using mutations to improve specs and test suites☆189Updated last month
- An opinionated template for Foundry projects.☆76Updated last month
- Solidity Audit Report Generator☆85Updated last year
- A smart contract security search utility☆75Updated 5 months ago
- Smart contract debugging data format – Standards development working group☆63Updated 3 weeks ago
- ☆165Updated last year
- ☆92Updated last year
- evm inception: the evm inside the evm via yul and solidity☆229Updated 2 years ago
- ☆76Updated 2 years ago
- ☆102Updated 2 years ago
- A mutation testing tool for Solidity Smart Contracts☆81Updated last month
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆121Updated 2 years ago
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆119Updated last year
- A template repo to work with huff smart contracts and learn about low level EVM opcodes. Also Horse ♘.☆103Updated 2 years ago
- A collection of gas optimizations for the EVM.☆94Updated 2 years ago
- Code for Foundry Seminar☆114Updated 3 years ago
- proof first, evm specific smt solver☆69Updated 3 years ago
- Foundry + Yul template☆96Updated last year
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆127Updated 9 months ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆76Updated 2 years ago
- 🦄 🦄 🦄 Peripheral smart contracts for interacting with Uniswap v3, modified for building & testing with Foundry☆109Updated 2 years ago
- A data structures library that does memory management for you☆221Updated 2 years ago
- Measure gas savings with different Solidity optimizations☆54Updated 3 years ago
- Diff your Github against Etherscan.☆139Updated last week
- ☆158Updated last week
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago