costa-group/gasol-optimizer external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

costa-group/gasol-optimizer

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/costa-group/gasol-optimizer)

Close

costa-group / gasol-optimizerView on GitHubMore

• External links
• Readme badge

☆110Feb 27, 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

• mds1 / solidity-fuzzing-benchmarks

  View on GitHub
  Solidity contracts and tests used to benchmark performance of fuzzers
  ☆21Jan 24, 2022Updated 4 years ago
• hrkrshnn / solmate-math-fuzz

  View on GitHub
  ☆35Jul 8, 2022Updated 3 years ago
• Bind / forge-jig

  View on GitHub
  Storage Slot Math Begone (Beta)
  ☆26Jan 2, 2023Updated 3 years ago
• paradigmxyz / paradigm-ctf-2022-teaser

  View on GitHub
  https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code
  ☆40Jan 18, 2022Updated 4 years ago
• hrkrshnn / gastest

  View on GitHub
  A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540
  ☆22Mar 18, 2022Updated 3 years ago
• 0xbyte0 / tictactoe.sol

  View on GitHub
  An optimized tic-tac-toe game in solidity
  ☆26Aug 17, 2022Updated 3 years ago
• thingtheory / vote-escrow-nft

  View on GitHub
  ☆11Jan 25, 2022Updated 4 years ago
• 0xMisaka / Sol-MagicCounter

  View on GitHub
  ☆93Mar 27, 2022Updated 3 years ago
• brockelmore / memmove

  View on GitHub
  A data structures library that does memory management for you
  ☆221Feb 11, 2023Updated 3 years ago
• Saw-mon-and-Natalie / ERC20-Golf

  View on GitHub
  ERC20.⛳
  ☆20May 4, 2022Updated 3 years ago
• brockelmore / contract_grabber

  View on GitHub
  Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor
  ☆30May 7, 2022Updated 3 years ago
• gakonst / forge-benchmarks

  View on GitHub
  ☆15Dec 15, 2021Updated 4 years ago
• plotchy / jop-foundry

  View on GitHub
  ☆21Mar 31, 2022Updated 3 years ago
• leonardoalt / yools

  View on GitHub
  Tools for Yul.
  ☆138Mar 29, 2023Updated 2 years ago
• ZeroEkkusu / re-golf-course

  View on GitHub
  A list of common Solidity optimization tips and myths.
  ☆84Apr 24, 2022Updated 3 years ago
• x-soul-x / SafuNFT

  View on GitHub
  A minimal contract with a lock/redeem/refund mechanism.
  ☆23Feb 27, 2022Updated 4 years ago
• zkSoju / zen

  View on GitHub
  Zen is a token trading protocol for transferring NFTs P2P.
  ☆15Sep 7, 2022Updated 3 years ago
• ZeframLou / clones-with-immutable-args

  View on GitHub
  ☆25Oct 30, 2023Updated 2 years ago
• 0xKitsune / Optimized-Merkle-Proof

  View on GitHub
  ☆17Apr 4, 2022Updated 3 years ago
• Saw-mon-and-Natalie / forge-etk-template

  View on GitHub
  ⛳ Template for Forge + EVM Toolkit
  ☆54Jun 3, 2022Updated 3 years ago
• mds1 / solidity-generators

  View on GitHub
  Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.
  ☆120Mar 22, 2023Updated 2 years ago
• kmbarry1 / fund-eq-of-dai-certora

  View on GitHub
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Jun 4, 2024Updated last year
• recmo / yul

  View on GitHub
  ☆102Apr 24, 2023Updated 2 years ago
• EVM-SMT / solver

  View on GitHub
  proof first, evm specific smt solver
  ☆69Apr 11, 2022Updated 3 years ago
• 0xKitsune / evm-mnemonic

  View on GitHub
  A barebones framework for hand tuned smart contracts in pure opcodes.
  ☆48Aug 22, 2022Updated 3 years ago
• odyslam / starknet-node

  View on GitHub
  1-click deployment of a Starknet node to a Raspberry Pi, powered by balena.
  ☆58Apr 29, 2022Updated 3 years ago
• gio256 / erigon-db

  View on GitHub
  Fully typed access to the Erigon db in rust
  ☆104Aug 23, 2022Updated 3 years ago
• Sabnock01 / foundry-x-chainlink

  View on GitHub
  foundry-x-chainlink
  ☆32Mar 17, 2022Updated 3 years ago
• crytic / echidna-spearbit-demo

  View on GitHub
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Jul 6, 2022Updated 3 years ago
• refcell / protec

  View on GitHub
  An Isolated Safe Environment to Execute Foundry Projects.
  ☆44Jul 22, 2022Updated 3 years ago
• milancermak / cairo-4626

  View on GitHub
  EIP 4626 in Cairo lang for Starknet
  ☆52Sep 14, 2022Updated 3 years ago
• d1ll0n / stack-packer

  View on GitHub
  Solidity library generator for compact struct encoding on the stack.
  ☆110Mar 19, 2023Updated 2 years ago
• cairoeth / GOO-Racing

  View on GitHub
  A dynamic on-chain racing game with real simulations 🏎️
  ☆22Sep 26, 2022Updated 3 years ago
• g-r-a-n-t / yultsur

  View on GitHub
  Yultsur is a Rust implementation of Yul.
  ☆23Jul 2, 2021Updated 4 years ago
• sky-ecosystem / mips-best-practices

  View on GitHub
  A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).
  ☆44Feb 13, 2022Updated 4 years ago
• Zer0dot / dotproxy

  View on GitHub
  My version of a clone factory with immutable args WIP!
  ☆18May 7, 2022Updated 3 years ago
• huff-language / huffc

  View on GitHub
  A low level assembly language for the Ethereum Virtual Machine
  ☆260Jul 4, 2022Updated 3 years ago
• karalabe / snailtracer

  View on GitHub
  Ray tracing on the Ethereum Virtual Machine
  ☆105Feb 14, 2018Updated 8 years ago
• crytic / amarna

  View on GitHub
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆148Feb 14, 2025Updated last year