Alternatives and similar repositories for lurk-lisp

Users that are interested in lurk-lisp are comparing it to the libraries listed below

• lurk-lab / lurk-beta

  View on GitHub
  Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…
  ☆451Feb 25, 2025Updated 11 months ago
• lurk-lab / lurk-lib

  View on GitHub
  Shared Lurk source code, including tests and library code.
  ☆18Mar 3, 2024Updated last year
• Electron-Labs / starky_bls12_381

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• kariy / starkmint

  View on GitHub
  ☆13Mar 6, 2023Updated 2 years ago
• asanso / CryptoWithSageMath

  View on GitHub
  Cryptography in SageMath.
  ☆10Dec 17, 2018Updated 7 years ago
• marianoguerra / mclulang

  View on GitHub
  McLulang: The message is the language
  ☆12Aug 23, 2024Updated last year
• ingonyama-zk / super-sumcheck

  View on GitHub
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆40Feb 17, 2025Updated 11 months ago
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 3 months ago
• iden3 / ffiasm-old

  View on GitHub
  Intel assembly finite field library generator
  ☆13Nov 23, 2023Updated 2 years ago
• status-im / nescience

  View on GitHub
  A Zero-Knowledge Toolkit
  ☆15Oct 15, 2020Updated 5 years ago
• zk-bankai / soulforge

  View on GitHub
  ☆18Jul 16, 2025Updated 7 months ago
• adizere / rem-poc

  View on GitHub
  {{{ rem = reth + malachite }}} {{{ proof of concept }}}
  ☆20Jan 5, 2025Updated last year
• CharmsDev / polymath

  View on GitHub
  Polymath: Groth16 Is Not The Limit
  ☆31Feb 6, 2025Updated last year
• geometryxyz / baloo

  View on GitHub
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Jan 1, 2023Updated 3 years ago
• lurk-lab / lurk

  View on GitHub
  Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …
  ☆159Apr 2, 2025Updated 10 months ago
• lambdaclass / era_vm

  View on GitHub
  EraVM implementation
  ☆19Sep 5, 2024Updated last year
• GaloisInc / BLST-Verification

  View on GitHub
  BLST-Verification
  ☆23Jan 22, 2026Updated 3 weeks ago
• geometryxyz / wgsl-poseidon

  View on GitHub
  ☆33Sep 9, 2023Updated 2 years ago
• caulk-crypto / caulk

  View on GitHub
  ☆113Feb 6, 2024Updated 2 years ago
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• Pratyush / algebra-intro

  View on GitHub
  ☆42Oct 19, 2021Updated 4 years ago
• a16z / zkvm-benchmarks

  View on GitHub
  Benchmarks of popular zkVMs including Jolt
  ☆64Apr 19, 2024Updated last year
• lurk-lang / arecibo

  View on GitHub
  An advanced fork of Nova (contact:@huitseeker)
  ☆88Mar 3, 2025Updated 11 months ago
• lazy-cat-io / tenet

  View on GitHub
  A Clojure(Script) library, which helps to create explicit and understandable results to unify and simplify the data flow
  ☆38Nov 2, 2024Updated last year
• asonnino / fraudproofs-prototype

  View on GitHub
  Prototype of fraud proofs.
  ☆12Feb 13, 2022Updated 4 years ago
• Wallaceh / cukeforker

  View on GitHub
  Library to maintain a forking queue of Cucumber processes
  ☆16Oct 17, 2019Updated 6 years ago
• arkworks-rs / sumcheck

  View on GitHub
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆86Nov 21, 2025Updated 2 months ago
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Updated this week
• cozodb / cozo-clj

  View on GitHub
  Clojure bindings for CozoDb
  ☆26Sep 16, 2023Updated 2 years ago
• lattice-dogs / labrador

  View on GitHub
  ☆48Feb 20, 2025Updated 11 months ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated last year
• arkworks-rs / r1cs-std

  View on GitHub
  R1CS constraints for bits, fields, and elliptic curves
  ☆186Sep 12, 2025Updated 5 months ago
• TennisBowling / openexecution

  View on GitHub
  A system that exposes a engine api to the public, allowing a multiple consensus to one execution node setup.
  ☆13Nov 30, 2025Updated 2 months ago
• kleinesfilmroellchen / sof-language

  View on GitHub
  Moved to Codeberg
  ☆10Jan 10, 2026Updated last month
• Modulus-Labs / Papers

  View on GitHub
  Repository of papers released by Modulus Labs
  ☆13Mar 13, 2024Updated last year
• hyperfiddle / electric-v2-tutorial

  View on GitHub
  ☆10Oct 22, 2024Updated last year
• marianoguerra / match

  View on GitHub
  [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time
  ☆16Oct 24, 2009Updated 16 years ago
• HerodotusDev / accumulators

  View on GitHub
  ☆11Jan 17, 2024Updated 2 years ago
• unbalancedparentheses / learning

  View on GitHub
  I like to learn new things
  ☆10Dec 10, 2022Updated 3 years ago