BuilderGraphAccount

Repository · dormant

argumentcomputer/lean4

Lean 4 programming language and theorem prover

LeanApache-2.0ForkLurk Language

stars

0

forks

0

contributors

79

open issues

0

Stars · last 0 weeks

Not enough history yet — signal stabilises after ~2 snapshots.

Trend

Stars Δ 1w—

Stars Δ 4w—

Contributors Δ 1w—

Last commit1498d ago

Top contributors

24

Ecosystem context

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

argumentcomputer/yatima-lang-alpha

A programming language for the decentralized web

Rustlast commit 2023-03-07

lurk-lab/awesome-folding

A curated list of zero-knowledge folding schemes

last commit 2024-08-06

argumentcomputer/yatima

A zero-knowledge Lean4 compiler and kernel

Leanlast commit 2024-11-07

lurk-lang/arecibo

An advanced fork of Nova (contact:@huitseeker)

Rustlast commit 2025-03-03

lurk-lab/lurk-lisp

Lisp implementation of Lurk.

Common Lisplast commit 2024-09-04

argumentcomputer/LSpec

A Testing Framework for Lean

Leanlast commit 2026-04-15

argumentcomputer/sphinx

An observatory fork of SP1

Rustlast commit 2025-02-11

Subscriber view

Unlock the full view of argumentcomputer/lean4

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.