─── team / organization
argumentcomputer
@argumentcomputer
─── top repos · by stars
─── repositories
30 / 82A programming language for the decentralized web
A collection of ZK light client libraries for various blockchains
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
A Lean 4 implementation of the Poseidon zkSNARK-friendly hash function
The original Haskell + IPFS prototype of the yatima language
immutable `no_std` data structures suitable for use within Substrate
─── top contributors
leodemoura
20,472 commits
Kha
3,692 commits
gwenn
1,311 commits
csabahruska
966 commits
jtguibas
951 commits
gebner
855 commits
soonhokong
826 commits
samuelburnham
801 commits
Noc2
532 commits
myoung34
523 commits
bodil
510 commits
andorp
499 commits
tamirhemo
495 commits
johnchandlerburnham
466 commits
Anderssorby
450 commits
cessen
441 commits
arthurpaulino
439 commits
dlubarov
424 commits
avigad
421 commits
kevjue
417 commits
─── ecosystems
─── languages
- Lean29
- Rust24
- Nix7
- Shell4
- Haskell3
- C2
─── subscriber view
Unlock the full view of argumentcomputer
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.