Repository · dormant

argumentcomputer/Cli.lean

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

LeanMITForkLurk Language

GitHub

stars

forks

contributors

open issues

Stars · last 0 weeks

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

Trend

Stars Δ 1w—

Stars Δ 4w—

Contributors Δ 1w—

Last commit840d ago

Top contributors

mhuisi

@mhuisi

commits

arthurpaulino

@arthurpaulino

commits

mpenciak

@mpenciak

commits

hargoniX

@hargoniX

commits

rish987

@rish987

commits

Anderssorby

@Anderssorby

commits

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 argumentcomputer/Cli.lean

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.