repos
106
ecosystems
38
languages
11
commits
2,020
─── top repos · by commits
─── repositories
106 totalDocumentation site
An operating function
An operating function (Prototype)
A programming language for the decentralized web
An implementation of the Urbit runtime
The original Haskell + IPFS prototype of the yatima language
An Operating Function
The Urbit operating system
The Yatima Standard Library
Michelson language tools
a Lean4 implementation of the IPLD format
Urbit: an operating function
A self-hosted, content-addressed, Lean4 kernel
A zero-knowledge Lean4 compiler and kernel
A zero-knowledge Lean4 compiler and kernel
A Rust implementation of the Lean kernel
A softcover book
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
immutable `no_std` data structures suitable for use within Substrate
Lean 4 port of Megaparsec
A Testing Framework for Lean
Multihash library for no_std use within Substrate
Rust IPLD library
Repository to submit finished milestones
IPLD library for no_std use within Substrate
Implementation of Cedille Core in Rust
Haskell Wrappers for Lurk
Repository to submit finished milestones
Lurk Lab Inc. website
Cid library for no_std use within Substrate
Repository to submit finished milestones
Repository to submit finished milestones
Repository to submit finished milestones
Repository to submit finished milestones
Repository to submit finished milestones
Repository to submit finished milestones
Repository to submit finished milestones
Repository to submit finished milestones
Repository to submit finished milestones
Repository to submit finished milestones
Repository to submit finished milestones
An observatory fork of SP1
Technical specifications for the IPFS protocol stack
A lightweight serialization format
Repository to submit finished milestones
A collection of ZK light client libraries for various blockchains
Web3 Foundation Grants Program
Shared Lurk source code, including tests and library code.
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
State-of-the-art streams for Lean 4
Lean4 bindings to Blake3
A graph library in Lean 4
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Tool for compiling Lean to Risc-V and WASM for zkVMs
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Repository to submit finished milestones
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Open Grants Program
Web3 Foundation Grants Program
Web3 Foundation Open Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Open Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
A Lean library for finite fields used by the Lurk language
Self-describing content-addressed identifiers for distributed systems
Web3 Foundation Open Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
A collection of ZK light client libraries for various blockchains
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Open Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Polkadot Open Source Grants Bounty - Applications
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Web3 Foundation Open Grants Program
Web3 Foundation Grants Program
Web3 Foundation Grants Program
─── peer developers
─── ecosystems
─── languages
- JavaScript25
- Rust12
- Lean11
- Shell8
- hoon4
- Haskell4
- C3
- CSS1
- Nix1
- TeX1
─── subscriber view
Unlock the full view of johnchandlerburnham
- · 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.