repos
20
ecosystems
5
languages
4
commits
260
─── top repos · by commits
─── repositories
20 totalA programming language for the decentralized web
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
The original Haskell + IPFS prototype of the yatima language
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
A zero-knowledge Lean4 compiler and kernel
A zero-knowledge Lean4 compiler and kernel
A self-hosted, content-addressed, Lean4 kernel
Lean 4 port of Megaparsec
a Lean4 implementation of the IPLD format
The Yatima Standard Library
Shared Lurk source code, including tests and library code.
A toolkit for polynomial IOPs (PIOPs)
An advanced fork of Nova (contact:@huitseeker)
SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
A Lean 4 implementation of the Poseidon zkSNARK-friendly hash function
Lean4 bindings to Blake3
A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
A toolkit for polynomial IOPs (PIOPs)
─── peer developers
─── ecosystems
─── languages
- Rust8
- Lean8
- Haskell1
- Nix1
─── subscriber view
Unlock the full view of gabriel-barrett
- · 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.