Alternatives and similar repositories for spla-repo

Users that are interested in spla-repo are comparing it to the libraries listed below

• code-423n4 / 2023-04-caviar

  View on GitHub
  ☆11Nov 29, 2023Updated 2 years ago
• HerodotusDev / hdp-sp1

  View on GitHub
  Herodotus Data Processor using SP1 as backend
  ☆17Jan 27, 2026Updated 2 weeks ago
• ICME-Lab / msm-webgpu

  View on GitHub
  WebGPU MSM implementation
  ☆17Oct 28, 2025Updated 3 months ago
• transmissions11 / muldiv-battle

  View on GitHub
  Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.
  ☆18Nov 29, 2021Updated 4 years ago
• 0xfuturistic / prime-field-arithmetic

  View on GitHub
  🍭 A Solidity library for prime field arithmetic
  ☆16Jan 31, 2024Updated 2 years ago
• bigspider / accumulator

  View on GitHub
  Fast additive accumulators
  ☆14Nov 16, 2020Updated 5 years ago
• 0xpolarzero / gas-metering-comparison

  View on GitHub
  Comparing gas measurements from Forge, Hardhat, Tevm and forge-gas-metering against testnet transactions.
  ☆16Feb 28, 2024Updated last year
• formal-land / rocq-of-solidity

  View on GitHub
  Formal verification for Solidity smart contracts with the theorem prover Rocq. Ensure no vulnerabilities for your smart contracts.
  ☆47Jan 5, 2026Updated last month
• 0xkarmacoma / pinball-ctf

  View on GitHub
  ☆27Oct 29, 2021Updated 4 years ago
• AstariaXYZ / starport

  View on GitHub
  Starport is a kernel for building lending protocols
  ☆23May 30, 2024Updated last year
• morpho-org / morpho-security

  View on GitHub
  A collection of practical security-focused guides and checklists for Morpho smart contract development.
  ☆26Apr 17, 2023Updated 2 years ago
• rkdud007 / sp1-storage-proof

  View on GitHub
  storage proof made by sp1
  ☆25Sep 20, 2024Updated last year
• SorellaLabs / pade

  View on GitHub
  Macros + Primitives for PADE format
  ☆29Jul 26, 2025Updated 6 months ago
• Rubilmax / viem-deal

  View on GitHub
  🎩🪄 Easily deal any amount of any ERC20 tokens to any account on any `setStorageAt`-compatible network, using viem!
  ☆32Oct 25, 2024Updated last year
• M1kuW1ll / MMASim

  View on GitHub
  MEV-Boost Auction Simulation Framework
  ☆28Feb 19, 2025Updated 11 months ago
• StErMi / smartcontract-inspect

  View on GitHub
  Quickly open your favorite Web IDE to review the selected smart contract codebase
  ☆29Apr 8, 2024Updated last year
• reilabs / lampe

  View on GitHub
  Extracting the semantics of Noir to Lean for formal verification
  ☆36Updated this week
• rot256 / research-we-kzg

  View on GitHub
  Witness encryption for KZG openings
  ☆33Nov 6, 2024Updated last year
• ret2basic / MoonMath-Companion

  View on GitHub
  MoonMath Manual notes, exercise solution and extra comments.
  ☆31Jun 28, 2024Updated last year
• omeguhh / Huff-By-Example

  View on GitHub
  Solidity By Example rewritten in Huff, the most based low-level EVM language.
  ☆34Feb 21, 2024Updated last year
• meppent / pellucid

  View on GitHub
  An EVM decompiler written in Rust.
  ☆47Nov 24, 2022Updated 3 years ago
• fabriqnetwork / specular

  View on GitHub
  Specular Monorepo
  ☆37Apr 1, 2024Updated last year
• hbang / hbhackertools

  View on GitHub
  Command line tools I install after jailbreaking
  ☆11Feb 11, 2017Updated 9 years ago
• reBASEcapital / REBASE

  View on GitHub
  REBASE token contracts
  ☆12Mar 1, 2021Updated 4 years ago
• Glacier-Labs / glacier-quickstart

  View on GitHub
  ☆10Oct 6, 2025Updated 4 months ago
• labichn / hmc

  View on GitHub
  Hindley-Milner with contracts
  ☆11Dec 5, 2015Updated 10 years ago
• costa-group / circom_civer

  View on GitHub
  zkSnark circuit compiler
  ☆12Jan 8, 2026Updated last month
• mython-dev / ssh-brute-force

  View on GitHub
  SSH brute-forcing tool written in python
  ☆15Feb 10, 2023Updated 3 years ago
• worldcoin / hyrax-pcs-commit

  View on GitHub
  hyrax-pcs-commit repository
  ☆14Dec 16, 2025Updated last month
• filswan / community

  View on GitHub
  filswan community discussion and governance
  ☆10Nov 15, 2023Updated 2 years ago
• thor314 / ccs-hack

  View on GitHub
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆50Jul 5, 2023Updated 2 years ago
• TaceoLabs / co-snarks

  View on GitHub
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆211Feb 6, 2026Updated last week
• euler-xyz / euler-encode-workshop

  View on GitHub
  ☆11Feb 1, 2024Updated 2 years ago
• fxfactorial / eth-peers-tui

  View on GitHub
  ☆10Oct 2, 2021Updated 4 years ago
• SmarDex-Ecosystem / usdn-contracts

  View on GitHub
  Smart contracts of the Ultimate Synthetic Delta Neutral
  ☆11Jan 26, 2026Updated 2 weeks ago
• 10xhash / audits

  View on GitHub
  ☆12Sep 16, 2025Updated 4 months ago
• hmchoe0528 / INDCPAD_HE_ThresFHE

  View on GitHub
  ☆11May 28, 2024Updated last year
• Vectorized / QDES

  View on GitHub
  Quadratic Decay Exponential Surge
  ☆11Aug 22, 2022Updated 3 years ago
• AngryLawyer / commonjs_of_ocaml

  View on GitHub
  Import and export CommonJS modules in js_of_ocaml
  ☆12May 19, 2016Updated 9 years ago