Owner
argumentcomputer
已索引 19 个仓库 · 在 GitHub 查看
-
yatima
A zero-knowledge Lean4 compiler and kernel
Lean · 146 个 star
-
ix
a zero-knowledge proof-carrying code protocol for Lean 4
Rust · 93 个 star
-
LSpec
A Testing Framework for Lean
Lean · 84 个 star
-
sphinx
An observatory fork of SP1
Rust · 80 个 star
-
zk-light-clients
A collection of ZK light client libraries for various blockchains
Rust · 70 个 star
-
Wasm.lean
A WebAssembly implementation in Lean4
Lean · 48 个 star
-
Megaparsec.lean
Lean 4 port of Megaparsec
Lean · 37 个 star
-
RustFFI.lean
Template for Lean<->Rust FFI
Lean · 17 个 star
-
Lean · 9 个 star
-
Lurk.lean
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
Lean · 9 个 star
-
ZKSnark.lean
https://yatima-inc.github.io/ZKSnark.lean/
Lean · 8 个 star
-
Ipld.lean
a Lean4 implementation of the IPLD format
Lean · 8 个 star
-
straume
State-of-the-art streams for Lean 4
Lean · 6 个 star
-
multi-stark
Implementation of a multicircuit STARK in P3
Rust · 5 个 star
-
Lean · 3 个 star
-
lurk-hs
Haskell Wrappers for Lurk
Haskell · 2 个 star
-
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 个 star
-
ci-workflows
GitHub Actions workflows and templates for use in Argument repos
0 个 star
-
Add lake build 未关闭
argumentcomputer/Neptune.lean#2 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/ZKSnark.lean#7 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/ZKSnark.lean#8 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Wasm.lean#15 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Wasm.lean#25 · 2 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Wasm.lean#26 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Wasm.lean#27 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Wasm.lean#37 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Wasm.lean#47 · 1 条评论 · 0 个 reaction · 已指派 0 人 ·
-
lowpriority
argumentcomputer/Wasm.lean#54 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
lowpriority
argumentcomputer/Wasm.lean#59 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
lowpriority
argumentcomputer/Wasm.lean#61 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
highpriority
argumentcomputer/Wasm.lean#66 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
epic
argumentcomputer/Wasm.lean#67 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Nova.lean#5 · 0 条评论 · 0 个 reaction · 已指派 1 人 ·
-
argumentcomputer/Nova.lean#6 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Nova.lean#7 · 0 条评论 · 0 个 reaction · 已指派 1 人 ·
-
argumentcomputer/Nova.lean#8 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Nova.lean#11 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Nova.lean#12 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
Documentation 未关闭documentation good first issue
argumentcomputer/Ipld.lean#5 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
difficult
argumentcomputer/straume#2 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/straume#9 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/straume#15 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Megaparsec.lean#18 · 2 条评论 · 0 个 reaction · 已指派 0 人 ·
-
difficult postponed
argumentcomputer/Megaparsec.lean#20 · 1 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Megaparsec.lean#25 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
good first issue
argumentcomputer/Megaparsec.lean#26 · 1 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Megaparsec.lean#29 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Megaparsec.lean#40 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Megaparsec.lean#54 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Megaparsec.lean#55 · 3 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Megaparsec.lean#59 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/RustFFI.lean#5 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/YatimaStdLib.lean#95 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/lurk-hs#1 · 5 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/lurk-hs#15 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Lurk.lean#47 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/Lurk.lean#48 · 1 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/yatima#88 · 5 条评论 · 0 个 reaction · 已指派 2 人 ·
-
documentation
argumentcomputer/yatima#158 · 0 条评论 · 0 个 reaction · 已指派 1 人 ·
-
typechecker
argumentcomputer/yatima#181 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/yatima#238 · 0 条评论 · 2 个 reaction · 已指派 0 人 ·
-
bug typechecker
argumentcomputer/yatima#243 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
good first issue
argumentcomputer/yatima#245 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/yatima#249 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
enhancement typechecker
argumentcomputer/yatima#268 · 0 条评论 · 1 个 reaction · 已指派 0 人 ·
-
enhancement typechecker
argumentcomputer/yatima#272 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
enhancement infra
argumentcomputer/yatima#275 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
argumentcomputer/yatima#280 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
只显示最新的 100 条
这个页面只列出最近收录的部分。完整清单在高级筛选里，可以按语言、难度和预计耗时筛选。