Alternatives and similar repositories for garden

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

• Verified-zkEVM / clean

  View on GitHub
  Lean circuit DSL
  ☆121Updated this week
• PetraProver / PetraVM

  View on GitHub
  A verifiable supercomputer
  ☆77Jun 26, 2025Updated 7 months ago
• yetanotherco / zkvm_benchmarks

  View on GitHub
  ☆26Apr 15, 2025Updated 10 months ago
• NethermindEth / stwo-gpu

  View on GitHub
  ☆20Jun 20, 2025Updated 7 months ago
• b-wagn / hash-sig

  View on GitHub
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆47Dec 18, 2025Updated last month
• ProjectZKM / zkm-prover

  View on GitHub
  A parallel proving service for ZKM.
  ☆22Dec 18, 2025Updated last month
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• leanEthereum / leanMultisig

  View on GitHub
  Minimal zkVM, targeting XMSS aggregation and recursion.
  ☆68Feb 8, 2026Updated last week
• ZippelLabs / ZP1

  View on GitHub
  RISC-V prover system
  ☆48Jan 15, 2026Updated last month
• reclaimprotocol / zk-symmetric-crypto

  View on GitHub
  A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.
  ☆27Updated this week
• costa-group / forves

  View on GitHub
  ☆12Nov 19, 2024Updated last year
• ZK-Hack / puzzle-zeitgeist

  View on GitHub
  ☆10Nov 20, 2024Updated last year
• tchajed / coq-ltac2-experiments

  View on GitHub
  All the code I've ever written in Ltac2
  ☆11Jan 19, 2021Updated 5 years ago
• jtcoolen / ocaml-pari

  View on GitHub
  OCaml bindings to the number theory library PARI/GP
  ☆12Jan 11, 2025Updated last year
• lita-xyz / valida-rs

  View on GitHub
  The entry point for Rust projects to be run on Valida
  ☆10Mar 14, 2025Updated 11 months ago
• ocaml / dbm

  View on GitHub
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Jul 11, 2024Updated last year
• NethermindEth / horus-checker

  View on GitHub
  Horus, a formal verification tool for StarkNet smart contracts.
  ☆74Jun 20, 2025Updated 7 months ago
• koka-lang / AddressC

  View on GitHub
  ☆14May 28, 2025Updated 8 months ago
• JetBrains / ot-coq

  View on GitHub
  ot-coq
  ☆17Sep 5, 2023Updated 2 years ago
• appliedfm / vstyle-tools

  View on GitHub
  A formatter/linter for Coq source
  ☆14Jan 15, 2022Updated 4 years ago
• rocq-community / buchberger

  View on GitHub
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆11Dec 30, 2023Updated 2 years ago
• rbardou / red

  View on GitHub
  A command-line text editor in OCaml.
  ☆13Apr 26, 2025Updated 9 months ago
• ZKNoxHQ / NTT

  View on GitHub
  Generic implementation of the Number Theoretic Transform in the context of cryptography applications
  ☆14Aug 13, 2025Updated 6 months ago
• gborough / sarif

  View on GitHub
  Static Analysis Results Interchange Format (SARIF) For OCaml
  ☆14Mar 13, 2025Updated 11 months ago
• project-llzk / llzk-lib

  View on GitHub
  Library for parsing, generating, and analyzing LLZK code.
  ☆35Feb 8, 2026Updated last week
• ziemen4 / zkpoex

  View on GitHub
  Zero-Knowledge Proof of Exploit
  ☆43Jan 6, 2026Updated last month
• math-inc / ZkLinalg

  View on GitHub
  Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity
  ☆76Dec 11, 2025Updated 2 months ago
• openvm-org / stark-backend

  View on GitHub
  Proof system backends for OpenVM.
  ☆34Updated this week
• janestreet / topological_sort

  View on GitHub
  Topological sort algorithm
  ☆14Jan 15, 2026Updated last month
• draftbit / re-jest

  View on GitHub
  Easier bindings to Jest for ReasonML
  ☆12Oct 17, 2024Updated last year
• AU-COBRA / coq-rust-extraction

  View on GitHub
  Coq plugin for extracting Rust code
  ☆18Dec 15, 2025Updated 2 months ago
• OCamlPro / ocaml-solidity

  View on GitHub
  Ocaml-solidity provides a Solidity parser and typechecker
  ☆33Sep 12, 2023Updated 2 years ago
• matter-labs / zksync-crypto

  View on GitHub
  Cryptography libraries for ZKsync
  ☆39Updated this week
• kupl / MicSE

  View on GitHub
  The Michelson Symbolic vErifier
  ☆13Feb 3, 2023Updated 3 years ago
• arthuraa / cryptis

  View on GitHub
  ☆15Dec 16, 2025Updated 2 months ago
• lita-xyz / rust-examples

  View on GitHub
  ☆18Dec 3, 2024Updated last year
• SimonBoulier / TypingFlags

  View on GitHub
  A Coq plugin to disable positivity check, guard check and termination check
  ☆16Nov 2, 2019Updated 6 years ago
• lita-xyz / valida-vm

  View on GitHub
  The Valida execution engine, prover, and verifier
  ☆29Oct 6, 2025Updated 4 months ago
• 0xPolygonHermez / zisk

  View on GitHub
  ☆175Updated this week