formal-land/garden 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

formal-land/garden

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/formal-land/garden)

Close

formal-land / gardenView on GitHubMore

• External links
• Readme badge

Make your zero-knowledge circuits safe with formal verification! 🍀

☆32Nov 27, 2025Updated 3 months ago

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
  ☆124Updated this week
• PetraProver / PetraVM

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

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

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

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

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

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• ZippelLabs / ZP1

  View on GitHub
  RISC-V prover system
  ☆50Updated this week
• leanEthereum / leanMultisig

  View on GitHub
  Minimal zkVM, targeting aggregation of hash-based signatures.
  ☆74Updated this week
• reclaimprotocol / zk-symmetric-crypto

  View on GitHub
  A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.
  ☆28Feb 27, 2026Updated last week
• 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
• ZK-Hack / puzzle-zeitgeist

  View on GitHub
  ☆10Nov 20, 2024Updated last year
• costa-group / forves

  View on GitHub
  ☆12Nov 19, 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
• 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.
  ☆75Jun 20, 2025Updated 8 months ago
• rbardou / red

  View on GitHub
  A command-line text editor in OCaml.
  ☆13Apr 26, 2025Updated 10 months ago
• gborough / sarif

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

  View on GitHub
  A formatter/linter for Coq source
  ☆14Jan 15, 2022Updated 4 years ago
• koka-lang / AddressC

  View on GitHub
  ☆14May 28, 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
• 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
• JetBrains / ot-coq

  View on GitHub
  ot-coq
  ☆17Sep 5, 2023Updated 2 years ago
• project-llzk / llzk-lib

  View on GitHub
  Library for parsing, generating, and analyzing LLZK code.
  ☆37Updated this week
• ziemen4 / zkpoex

  View on GitHub
  Zero-Knowledge Proof of Exploit
  ☆43Jan 6, 2026Updated 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
  ☆15Jan 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
• math-inc / ZkLinalg

  View on GitHub
  Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity
  ☆80Dec 11, 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
  ☆42Updated this week
• lita-xyz / valida-vm

  View on GitHub
  The Valida execution engine, prover, and verifier
  ☆29Oct 6, 2025Updated 5 months ago
• SimonBoulier / TypingFlags

  View on GitHub
  A Coq plugin to disable positivity check, guard check and termination check
  ☆16Nov 2, 2019Updated 6 years ago
• kupl / MicSE

  View on GitHub
  The Michelson Symbolic vErifier
  ☆13Feb 3, 2023Updated 3 years ago
• lita-xyz / rust-examples

  View on GitHub
  ☆18Dec 3, 2024Updated last year
• 0xPolygonHermez / zisk

  View on GitHub
  ☆176Updated this week
• lamg / wybe

  View on GitHub
  Formal verification tool based on predicate calculus and supporting several programming languages
  ☆39Aug 23, 2025Updated 6 months ago