Repository · dormant

lurk-lang/bellpepper

SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)

RustNOASSERTIONLurk Language

GitHub

stars

forks

contributors

open issues

Stars · last 5 weeks

Trend

Stars Δ 1w0

Stars Δ 4w0

Contributors Δ 1w0

Last commit498d ago

Weekly snapshots

5 rows

Week	Stars	Forks	Contributors	Open issues
2026-W15	73	20	38	12
2026-W17	77	20	38	12
2026-W22	77	20	38	12
2026-W23	77	20	38	12
2026-W24	77	20	38	12

Top contributors

Ecosystem context

Lurk Language

lurk-lab/lurk-beta

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

Rustlast commit 2025-02-25

451 stars

61 forks

29 contribs

argumentcomputer/yatima-lang-alpha

A programming language for the decentralized web

Rustlast commit 2023-03-07

445 stars

18 forks

11 contribs

lurk-lab/awesome-folding

A curated list of zero-knowledge folding schemes

last commit 2024-08-06

310 stars

36 forks

11 contribs

argumentcomputer/yatima

A zero-knowledge Lean4 compiler and kernel

Leanlast commit 2024-11-07

146 stars

12 forks

7 contribs

lurk-lang/arecibo

An advanced fork of Nova (contact:@huitseeker)

Rustlast commit 2025-03-03

91 stars

37 forks

26 contribs

lurk-lab/lurk-lisp

Lisp implementation of Lurk.

Common Lisplast commit 2024-09-04

79 stars

8 forks

10 contribs

argumentcomputer/LSpec

A Testing Framework for Lean

Leanlast commit 2026-04-15

77 stars

16 forks

15 contribs

argumentcomputer/sphinx

An observatory fork of SP1

Rustlast commit 2025-02-11

77 stars

8 forks

46 contribs

Subscriber view

Unlock the full view of lurk-lang/bellpepper

Full repository, commit, and contributor breakdown
Peer graph and ecosystem links
Weekly trend deltas and pulse signal
API and CSV / JSON exports

Subscribe Sign in

Already a subscriber? Sign in with the same email used at checkout.