williamberman / evm-symbolic-execution
☆36Updated 3 years ago
Alternatives and similar repositories for evm-symbolic-execution:
Users that are interested in evm-symbolic-execution are comparing it to the libraries listed below
- ⛳ Template for Forge + EVM Toolkit☆55Updated 2 years ago
- ☆54Updated 2 years ago
- proof first, evm specific smt solver☆69Updated 2 years ago
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated 2 years ago
- ☆51Updated last year
- ☆51Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 2 years ago
- Simulate txs to human readable format☆28Updated 2 years ago
- ☆17Updated 7 months ago
- A Foundry template to compile and test Huff contracts.☆52Updated 2 years ago
- Huff Implementation of VRGDAs☆41Updated 2 years ago
- Submodules Kill Solidity☆38Updated last year
- ☆35Updated 2 years ago
- ☆33Updated 2 years ago
- ☆75Updated 2 years ago
- Uniswap V4 Huff Hooks☆40Updated last year
- A Solidity library designed to cram as many arbitrary values into as small a space as possible.☆44Updated 2 years ago
- ☆41Updated 2 years ago
- ☆40Updated 2 years ago
- Arbitrage liquidity pools across two different AMMs with flashloans☆19Updated 3 years ago
- Foundry network provider for the Ape Framework☆33Updated 3 months ago
- Smart contract audit / optimization reports generated by solstat.☆14Updated 2 years ago
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated last year
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆22Updated 2 years ago
- ☆15Updated last year
- gas comparisons between vyper and solady☆20Updated 6 months ago
- A mostly mostly reasonable approach to Huff styling.☆80Updated last year
- Solidity bytecode mapping for caller authorization☆20Updated 2 years ago