Owner
argumentcomputer
19 indexed repositories · View on GitHub
-
yatima
A zero-knowledge Lean4 compiler and kernel
Lean · 146 stars
-
ix
a zero-knowledge proof-carrying code protocol for Lean 4
Rust · 93 stars
-
LSpec
A Testing Framework for Lean
Lean · 84 stars
-
sphinx
An observatory fork of SP1
Rust · 80 stars
-
zk-light-clients
A collection of ZK light client libraries for various blockchains
Rust · 70 stars
-
Wasm.lean
A WebAssembly implementation in Lean4
Lean · 48 stars
-
Megaparsec.lean
Lean 4 port of Megaparsec
Lean · 37 stars
-
RustFFI.lean
Template for Lean<->Rust FFI
Lean · 17 stars
-
Lean · 9 stars
-
Lurk.lean
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
Lean · 9 stars
-
ZKSnark.lean
https://yatima-inc.github.io/ZKSnark.lean/
Lean · 8 stars
-
Ipld.lean
a Lean4 implementation of the IPLD format
Lean · 8 stars
-
straume
State-of-the-art streams for Lean 4
Lean · 6 stars
-
multi-stark
Implementation of a multicircuit STARK in P3
Rust · 5 stars
-
Lean · 3 stars
-
lurk-hs
Haskell Wrappers for Lurk
Haskell · 2 stars
-
Neptune.lean
Lean Neptune bindings
Lean · 1 star
-
template-rust-lib
Base template for a Rust library crate with CI, config files, and branch protection
Rust · 0 stars
-
ci-workflows
GitHub Actions workflows and templates for use in Argument repos
0 stars
-
Add lake build Open
argumentcomputer/Neptune.lean#2 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/ZKSnark.lean#7 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/ZKSnark.lean#8 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Wasm.lean#15 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Wasm.lean#25 · 2 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Wasm.lean#26 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Wasm.lean#27 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Wasm.lean#37 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Wasm.lean#47 · 1 comment · 0 reactions · 0 assignees ·
-
lowpriority
argumentcomputer/Wasm.lean#54 · 0 comments · 0 reactions · 0 assignees ·
-
lowpriority
argumentcomputer/Wasm.lean#59 · 0 comments · 0 reactions · 0 assignees ·
-
lowpriority
argumentcomputer/Wasm.lean#61 · 0 comments · 0 reactions · 0 assignees ·
-
highpriority
argumentcomputer/Wasm.lean#66 · 0 comments · 0 reactions · 0 assignees ·
-
epic
argumentcomputer/Wasm.lean#67 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Nova.lean#5 · 0 comments · 0 reactions · 1 assignee ·
-
argumentcomputer/Nova.lean#6 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Nova.lean#7 · 0 comments · 0 reactions · 1 assignee ·
-
argumentcomputer/Nova.lean#8 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Nova.lean#11 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Nova.lean#12 · 0 comments · 0 reactions · 0 assignees ·
-
Documentation Opendocumentation good first issue
argumentcomputer/Ipld.lean#5 · 0 comments · 0 reactions · 0 assignees ·
-
difficult
argumentcomputer/straume#2 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/straume#9 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/straume#15 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Megaparsec.lean#18 · 2 comments · 0 reactions · 0 assignees ·
-
difficult postponed
argumentcomputer/Megaparsec.lean#20 · 1 comment · 0 reactions · 0 assignees ·
-
argumentcomputer/Megaparsec.lean#25 · 0 comments · 0 reactions · 0 assignees ·
-
good first issue
argumentcomputer/Megaparsec.lean#26 · 1 comment · 0 reactions · 0 assignees ·
-
argumentcomputer/Megaparsec.lean#29 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Megaparsec.lean#40 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Megaparsec.lean#54 · 0 comments · 0 reactions · 0 assignees ·
-
Bump Straume version Open
argumentcomputer/Megaparsec.lean#55 · 3 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Megaparsec.lean#59 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/RustFFI.lean#5 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/YatimaStdLib.lean#95 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/lurk-hs#1 · 5 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/lurk-hs#15 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Lurk.lean#47 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/Lurk.lean#48 · 1 comment · 0 reactions · 0 assignees ·
-
argumentcomputer/yatima#88 · 5 comments · 0 reactions · 2 assignees ·
-
Document everything Opendocumentation
argumentcomputer/yatima#158 · 0 comments · 0 reactions · 1 assignee ·
-
typechecker
argumentcomputer/yatima#181 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/yatima#238 · 0 comments · 2 reactions · 0 assignees ·
-
bug typechecker
argumentcomputer/yatima#243 · 0 comments · 0 reactions · 0 assignees ·
-
good first issue
argumentcomputer/yatima#245 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/yatima#249 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement typechecker
argumentcomputer/yatima#268 · 0 comments · 1 reaction · 0 assignees ·
-
enhancement typechecker
argumentcomputer/yatima#272 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement infra
argumentcomputer/yatima#275 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/yatima#280 · 0 comments · 0 reactions · 0 assignees ·
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.