Alternatives and similar repositories for ProveIt

Users that are interested in ProveIt are comparing it to the libraries listed below

• orenyomtov / doves-in-the-wind-ctf-solution

  View on GitHub
  This is my solution. If you think you can further optimize it - be my guest!
  ☆22Oct 8, 2022Updated 3 years ago
• faheelsattar / OP-Queue

  View on GitHub
  optimized queue datastructure
  ☆32Jul 26, 2022Updated 3 years ago
• clabby / solady-vs-huffidity

  View on GitHub
  An apples-to-oranges comparison of Solady's `FixedPointMathLib.mulDiv` function vs. an equivalent Huffidity version
  ☆28Mar 9, 2023Updated 2 years ago
• huff-language / huff-toolchain

  View on GitHub
  GitHub action that installs huffc
  ☆17Mar 22, 2023Updated 2 years ago
• emo-eth / are-we-immutable-yet

  View on GitHub
  Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to
  ☆29Oct 19, 2022Updated 3 years ago
• Philogy / gobbler-thrones

  View on GitHub
  ☆18Jan 8, 2023Updated 3 years ago
• cairoeth / GOO-Racing

  View on GitHub
  A dynamic on-chain racing game with real simulations 🏎️
  ☆22Sep 26, 2022Updated 3 years ago
• leonardoalt / evm

  View on GitHub
  Simple EVM implementation in [no_std] Rust to be used in Powdr.
  ☆16Aug 24, 2023Updated 2 years ago
• ScopeLift / l2-optimizoooors

  View on GitHub
  Gas efficient routers for L2 applications
  ☆116Sep 23, 2022Updated 3 years ago
• Rjected / mempool-history

  View on GitHub
  Eth mempool history
  ☆31Sep 2, 2022Updated 3 years ago
• hananbeer / optimizor_sqrt

  View on GitHub
  Optimizor SQRT challenge solution
  ☆26Nov 2, 2022Updated 3 years ago
• hananbeer / evm2

  View on GitHub
  e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.
  ☆92Sep 28, 2022Updated 3 years ago
• ScopeLift / trueblocks-plotter

  View on GitHub
  Easily query and plot historical Ethereum data
  ☆37Feb 5, 2024Updated 2 years ago
• saucepoint / sylphrena

  View on GitHub
  pseudonymous transfers of Ether tokens using create2 & selfdestruct()
  ☆32Oct 27, 2022Updated 3 years ago
• with-backed / papr-liquidation-bot-rs

  View on GitHub
  ☆14May 3, 2023Updated 2 years ago
• jtriley2p / minimum-viable-proxy

  View on GitHub
  ☆87Sep 16, 2023Updated 2 years ago
• libevm / hp2

  View on GitHub
  Huff Proxies with Create2 (no SLOAD)
  ☆41Oct 23, 2022Updated 3 years ago
• adhusson / delegate-prank

  View on GitHub
  Delegatecall from any contract. A kind of vm.prank for delegatecalls.
  ☆19Sep 10, 2024Updated last year
• frangio / hardhat-linearization

  View on GitHub
  Hardhat plugin to inspect linearization of Solidity contract.
  ☆12Aug 29, 2025Updated 5 months ago
• ZeframLou / fee-distributor

  View on GitHub
  ☆17Mar 27, 2025Updated 10 months ago
• maxsam4 / risky-tweets-finder

  View on GitHub
  ☆12Feb 8, 2022Updated 4 years ago
• clabby / echidna-vs-forge

  View on GitHub
  Testing echidna vs. forge fuzzing
  ☆77Dec 20, 2022Updated 3 years ago
• devtooligan / memory-strux

  View on GitHub
  Optimized, in-memory, memory safe data structures written in Solidity.
  ☆36Jan 30, 2024Updated 2 years ago
• NoahZinsmeister / franchiser

  View on GitHub
  ☆92Aug 9, 2024Updated last year
• 0xClandestine / solplot

  View on GitHub
  A Foundry plugin that enables you to plot charts within solidity.
  ☆158Jan 4, 2024Updated 2 years ago
• NoahZinsmeister / as-you-permit

  View on GitHub
  🌼
  ☆15Jan 7, 2023Updated 3 years ago
• refcell / metamorphic

  View on GitHub
  Huff-based Smart Contracts for creating Metamorphic (or "redeployable") EVM Contracts.
  ☆46Jun 21, 2023Updated 2 years ago
• emo-eth / solarray

  View on GitHub
  A blazing-fast helper library for convenient Solidity dynamic arrays
  ☆42Aug 27, 2024Updated last year
• refcell / unix

  View on GitHub
  A lightweight, extensible foundry library for shell scripting.
  ☆62Jul 12, 2022Updated 3 years ago
• gakonst / noir-hello-world

  View on GitHub
  ☆31Oct 9, 2022Updated 3 years ago
• Anish-Agnihotri / mevboost.org

  View on GitHub
  Aggregates statistics about mev-boost relays and block builders
  ☆159Mar 8, 2023Updated 2 years ago
• SorellaLabs / pade

  View on GitHub
  Macros + Primitives for PADE format
  ☆29Jul 26, 2025Updated 6 months ago
• horsefacts / promises

  View on GitHub
  ☆16Oct 29, 2022Updated 3 years ago
• saucepoint / foundry-arbitrum

  View on GitHub
  Cross-chain message testing for Arbitrum with Foundry
  ☆67Mar 22, 2023Updated 2 years ago
• 0xkarmacoma / snow-computer-club

  View on GitHub
  ☆17Aug 29, 2022Updated 3 years ago
• dk1a / solidity-stringutils

  View on GitHub
  StrSlice & Slice library for Solidity
  ☆22Jan 18, 2023Updated 3 years ago
• smolquants / ape-risk

  View on GitHub
  DeFi risk analysis as an ApeWorX plugin
  ☆15Aug 22, 2023Updated 2 years ago
• cleanunicorn / mockprovider

  View on GitHub
  Solidity mocking provider for testing
  ☆62Aug 4, 2022Updated 3 years ago
• leonardoalt / sol-macros

  View on GitHub
  ☆33Oct 25, 2022Updated 3 years ago