☆110Mar 15, 2026Updated last week
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
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆15Dec 15, 2021Updated 4 years ago
- ERC20.⛳☆20May 4, 2022Updated 3 years ago
- Tools for Yul.☆139Mar 29, 2023Updated 2 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 3 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☆221Feb 11, 2023Updated 3 years ago
- ☆21Mar 31, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- ☆17Apr 4, 2022Updated 3 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
- A list of common Solidity optimization tips and myths.☆84Apr 24, 2022Updated 3 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 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Fully typed access to the Erigon db in rust☆104Aug 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 3 years ago
- Measure gas savings with different Solidity optimizations☆54Apr 17, 2022Updated 3 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
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Certora integration with the Forge testing framework of Foundry☆21Jun 8, 2023Updated 2 years ago
- foundry-x-chainlink☆32Mar 17, 2022Updated 4 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
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆44Feb 13, 2022Updated 4 years ago
- 1-click deployment of a Starknet node to a Raspberry Pi, powered by balena.☆58Apr 29, 2022Updated 3 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Jul 6, 2022Updated 3 years ago