Alternatives and similar repositories for echidna-spearbit-demo

Users that are interested in echidna-spearbit-demo are comparing it to the libraries listed below

• PaulRBerg / check-same-sign

  View on GitHub
  Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity
  ☆46Jul 17, 2022Updated 3 years ago
• Philogy / gobbler-thrones

  View on GitHub
  ☆18Jan 8, 2023Updated 3 years ago
• libevm / hp2

  View on GitHub
  Huff Proxies with Create2 (no SLOAD)
  ☆41Oct 23, 2022Updated 3 years ago
• hrkrshnn / solmate-math-fuzz

  View on GitHub
  ☆35Jul 8, 2022Updated 3 years ago
• tahos81 / ethernaut-bounty

  View on GitHub
  EthernautDAO reputation system
  ☆13Jun 1, 2022Updated 3 years ago
• nounsDAO / nouns-tech

  View on GitHub
  Nouns Technical Specifications
  ☆24Oct 6, 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
• recmo / yul

  View on GitHub
  ☆102Apr 24, 2023Updated 2 years ago
• 0xKitsune / solstat-reports

  View on GitHub
  Smart contract audit / optimization reports generated by solstat.
  ☆14Nov 3, 2022Updated 3 years ago
• huff-language / huff-toolchain

  View on GitHub
  GitHub action that installs huffc
  ☆17Mar 22, 2023Updated 2 years ago
• emo-eth / foundry-create2-deployer

  View on GitHub
  (WIP) Foundry scripting template for deploying contracts to deterministic addresses on any network
  ☆29Jul 9, 2022Updated 3 years ago
• PraneshASP / huffbound

  View on GitHub
  A Soulbound token contract implementation using Huff
  ☆35Aug 11, 2022Updated 3 years ago
• Sabnock01 / yield-mentorship

  View on GitHub
  Repo for Yield Protocol 2022 mentorship lessons
  ☆26Aug 8, 2022Updated 3 years ago
• 0xKitsune / Foundry-Huff

  View on GitHub
  A Foundry template to compile and test Huff contracts.
  ☆51Jun 21, 2022Updated 3 years ago
• sky-ecosystem / dss-kiln

  View on GitHub
  Slow burner for protocol assets.
  ☆33Mar 21, 2023Updated 2 years ago
• horsefacts / gooshiswap

  View on GitHub
  ☆28Sep 27, 2022Updated 3 years ago
• Maddiaa0 / huff-vrgda

  View on GitHub
  Huff Implementation of VRGDAs
  ☆41Sep 12, 2022Updated 3 years ago
• hrkrshnn / notes

  View on GitHub
  ☆51Sep 11, 2023Updated 2 years ago
• Maddiaa0 / weiroll-huff

  View on GitHub
  A port of the weiroll vm in huff
  ☆27Jan 18, 2023Updated 3 years ago
• wilsoncusack / forge-squeeth

  View on GitHub
  ☆29Jan 26, 2022Updated 4 years ago
• marktoda / paradigm-ctf

  View on GitHub
  My notes and code from the Paradigm CTF
  ☆41Aug 22, 2022Updated 3 years ago
• primitivefinance / soulbound

  View on GitHub
  Implementation of a non-transferrable NFT using non-financial incentivization.
  ☆84Feb 8, 2022Updated 4 years ago
• primitivefinance / Topological-Data-Analysis

  View on GitHub
  This repository is for topologic and geometric data analysis.
  ☆13Jul 2, 2022Updated 3 years ago
• PossibilityResult / Decentralized-Auctions

  View on GitHub
  ☆12Jan 30, 2023Updated 3 years ago
• fei-protocol / tribe-turbo

  View on GitHub
  Fuse liquidity accelerator for friends of the Tribe.
  ☆79May 6, 2022Updated 3 years ago
• whitenois3 / huh

  View on GitHub
  Huh? Who minted it?
  ☆56Oct 17, 2022Updated 3 years ago
• dove-protocol / dove-protocol

  View on GitHub
  Unified liquidity, accessible anywhere.
  ☆23May 11, 2023Updated 2 years ago
• virtualjpeg / blocky

  View on GitHub
  ☆36Feb 8, 2022Updated 4 years ago
• whitenois3 / mvrgda

  View on GitHub
  Variable Rate Gradual Dutch Auctions with Martingale Price Correction.
  ☆37Sep 9, 2022Updated 3 years ago
• oroghene / vault-fun

  View on GitHub
  ☆13May 13, 2022Updated 3 years ago
• clabby / huff-clones

  View on GitHub
  clones-with-immutable-args by wighawag written in Huff.
  ☆28Sep 15, 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
• Certora / FoundryIntegration

  View on GitHub
  Certora integration with the Forge testing framework of Foundry
  ☆21Jun 8, 2023Updated 2 years ago
• b-chiang / schnorr-nizk

  View on GitHub
  ☆14May 19, 2022Updated 3 years ago
• sense-finance / auto-roller

  View on GitHub
  Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools
  ☆28Jul 27, 2023Updated 2 years ago
• Uniswap / lp-action-contracts

  View on GitHub
  ☆27May 12, 2022Updated 3 years ago
• devtooligan / huffhuffpass

  View on GitHub
  ☆28Aug 23, 2022Updated 3 years ago
• AlmostFancy / true-dutch

  View on GitHub
  True Dutch Auction solidity smart contract
  ☆23Apr 17, 2023Updated 2 years ago
• Gearbox-protocol / liquidation-bot

  View on GitHub
  ☆71Dec 15, 2025Updated 2 months ago