☆111May 4, 2026Updated last month
Alternatives and similar repositories for gasol-optimizer
Users that are interested in gasol-optimizer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Solidity contracts and tests used to benchmark performance of fuzzers☆21Jan 24, 2022Updated 4 years ago
- ☆35Jul 8, 2022Updated 3 years ago
- A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540☆22Mar 18, 2022Updated 4 years ago
- https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code☆40Jan 18, 2022Updated 4 years ago
- Storage Slot Math Begone (Beta)☆26Jan 2, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆15Dec 15, 2021Updated 4 years ago
- Tools for Yul.☆140Mar 29, 2023Updated 3 years ago
- ERC20.⛳☆20May 4, 2022Updated 4 years ago
- ☆93Mar 27, 2022Updated 4 years ago
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30May 7, 2022Updated 4 years ago
- An optimized tic-tac-toe game in solidity☆26Aug 17, 2022Updated 3 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- A data structures library that does memory management for you☆220Feb 11, 2023Updated 3 years ago
- ☆21Mar 31, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 4 years ago
- ☆17Apr 4, 2022Updated 4 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated 2 years ago
- ☆101Apr 24, 2023Updated 3 years ago
- A list of common Solidity optimization tips and myths.☆84Apr 24, 2022Updated 4 years ago
- ☆25Oct 30, 2023Updated 2 years ago
- A minimal contract with a lock/redeem/refund mechanism.☆23Feb 27, 2022Updated 4 years ago
- A barebones framework for hand tuned smart contracts in pure opcodes.☆48Aug 22, 2022Updated 3 years ago
- ⛳ Template for Forge + EVM Toolkit☆54Jun 3, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Fully typed access to the Erigon db in rust☆103Aug 23, 2022Updated 3 years ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆120Mar 22, 2023Updated 3 years ago
- Generic Vector library for Solidity☆27Mar 21, 2022Updated 4 years ago
- Zen is a token trading protocol for transferring NFTs P2P.☆15Sep 7, 2022Updated 3 years ago
- My version of a clone factory with immutable args WIP!☆18May 7, 2022Updated 4 years ago
- Measure gas savings with different Solidity optimizations☆54Apr 17, 2022Updated 4 years ago
- Solidity library generator for compact struct encoding on the stack.☆110Mar 19, 2023Updated 3 years ago
- EIP 4626 in Cairo lang for Starknet☆52Sep 14, 2022Updated 3 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Jul 22, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Certora integration with the Forge testing framework of Foundry☆21Jun 8, 2023Updated 3 years ago
- A dynamic on-chain racing game with real simulations 🏎️☆22Sep 26, 2022Updated 3 years ago
- A gas competition to see who the best optimizor is☆74Sep 10, 2022Updated 3 years ago
- foundry-x-chainlink☆32Mar 17, 2022Updated 4 years ago
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆45Feb 13, 2022Updated 4 years ago
- 1-click deployment of a Starknet node to a Raspberry Pi, powered by balena.☆57Apr 29, 2022Updated 4 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Jul 6, 2022Updated 3 years ago