costa-group / gasol-optimizerView external linksLinks
☆110Nov 8, 2025Updated 3 months ago
Alternatives and similar repositories for gasol-optimizer
Users that are interested in gasol-optimizer are comparing it to the libraries listed below
Sorting:
- Solidity contracts and tests used to benchmark performance of fuzzers☆21Jan 24, 2022Updated 4 years ago
- ☆35Jul 8, 2022Updated 3 years ago
- Storage Slot Math Begone (Beta)☆26Jan 2, 2023Updated 3 years ago
- https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code☆40Jan 18, 2022Updated 4 years ago
- A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540☆22Mar 18, 2022Updated 3 years ago
- An optimized tic-tac-toe game in solidity☆26Aug 17, 2022Updated 3 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- ☆93Mar 27, 2022Updated 3 years ago
- A data structures library that does memory management for you☆221Feb 11, 2023Updated 3 years ago
- ERC20.⛳☆20May 4, 2022Updated 3 years ago
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30May 7, 2022Updated 3 years ago
- ☆15Dec 15, 2021Updated 4 years ago
- ☆21Mar 31, 2022Updated 3 years ago
- Tools for Yul.☆138Mar 29, 2023Updated 2 years ago
- A list of common Solidity optimization tips and myths.☆84Apr 24, 2022Updated 3 years ago
- A minimal contract with a lock/redeem/refund mechanism.☆23Feb 27, 2022Updated 3 years ago
- Zen is a token trading protocol for transferring NFTs P2P.☆15Sep 7, 2022Updated 3 years ago
- ☆25Oct 30, 2023Updated 2 years ago
- ☆17Apr 4, 2022Updated 3 years ago
- ⛳ Template for Forge + EVM Toolkit☆54Jun 3, 2022Updated 3 years ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆120Mar 22, 2023Updated 2 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- ☆102Apr 24, 2023Updated 2 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- A barebones framework for hand tuned smart contracts in pure opcodes.☆48Aug 22, 2022Updated 3 years ago
- 1-click deployment of a Starknet node to a Raspberry Pi, powered by balena.☆58Apr 29, 2022Updated 3 years ago
- Fully typed access to the Erigon db in rust☆104Aug 23, 2022Updated 3 years ago
- foundry-x-chainlink☆32Mar 17, 2022Updated 3 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Jul 6, 2022Updated 3 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Jul 22, 2022Updated 3 years ago
- EIP 4626 in Cairo lang for Starknet☆52Sep 14, 2022Updated 3 years ago
- Solidity library generator for compact struct encoding on the stack.☆110Mar 19, 2023Updated 2 years ago
- A dynamic on-chain racing game with real simulations 🏎️☆22Sep 26, 2022Updated 3 years ago
- Yultsur is a Rust implementation of Yul.☆23Jul 2, 2021Updated 4 years ago
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆44Feb 13, 2022Updated 4 years ago
- My version of a clone factory with immutable args WIP!☆18May 7, 2022Updated 3 years ago
- A low level assembly language for the Ethereum Virtual Machine☆259Jul 4, 2022Updated 3 years ago
- Ray tracing on the Ethereum Virtual Machine☆105Feb 14, 2018Updated 8 years ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆147Feb 14, 2025Updated last year