Repository · dormant
State-of-the-art streams for Lean 4
stars
6
forks
5
contributors
8
open issues
4
Not enough history yet — signal stabilises after ~2 snapshots.
ixahedron
@ixahedron
29
commits
arthurpaulino
@arthurpaulino
10
cognivore
@cognivore
mpenciak
@mpenciak
Anderssorby
@Anderssorby
1
Ferinko
@Ferinko
johnchandlerburnham
@johnchandlerburnham
samuelburnham
@samuelburnham
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)
argumentcomputer/yatima-lang-alpha
A programming language for the decentralized web
lurk-lab/awesome-folding
A curated list of zero-knowledge folding schemes
argumentcomputer/yatima
A zero-knowledge Lean4 compiler and kernel
lurk-lang/arecibo
An advanced fork of Nova (contact:@huitseeker)
lurk-lab/lurk-lisp
Lisp implementation of Lurk.
argumentcomputer/LSpec
A Testing Framework for Lean
argumentcomputer/sphinx
An observatory fork of SP1
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
