Chủ sở hữu
argumentcomputer
Đã lập chỉ mục 19 kho mã nguồn · Xem trên 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 Đang mở
argumentcomputer/Neptune.lean#2 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Fix the PolynomialDegree module Đang mở
argumentcomputer/ZKSnark.lean#7 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/ZKSnark.lean#8 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Wasm.lean#15 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Wasm.lean#25 · 2 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Wasm.lean#26 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Wasm.lean#27 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Safety: Bit sizes and overflows Đang mở
argumentcomputer/Wasm.lean#37 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Wasm.lean#47 · 1 bình luận · 0 reaction · 0 người được giao ·
-
lowpriority
argumentcomputer/Wasm.lean#54 · 0 bình luận · 0 reaction · 0 người được giao ·
-
lowpriority
argumentcomputer/Wasm.lean#59 · 0 bình luận · 0 reaction · 0 người được giao ·
-
lowpriority
argumentcomputer/Wasm.lean#61 · 0 bình luận · 0 reaction · 0 người được giao ·
-
highpriority
argumentcomputer/Wasm.lean#66 · 0 bình luận · 0 reaction · 0 người được giao ·
-
epic
argumentcomputer/Wasm.lean#67 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Define the Pasta curve Đang mở
argumentcomputer/Nova.lean#5 · 0 bình luận · 0 reaction · 1 người được giao ·
-
argumentcomputer/Nova.lean#6 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Nova.lean#7 · 0 bình luận · 0 reaction · 1 người được giao ·
-
argumentcomputer/Nova.lean#8 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Serialisation tools for Nova Đang mở
argumentcomputer/Nova.lean#11 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Nova.lean#12 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Documentation Đang mởdocumentation good first issue
argumentcomputer/Ipld.lean#5 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Design Straume.Channel Đang mởdifficult
argumentcomputer/straume#2 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/straume#9 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/straume#15 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Megaparsec.lean#18 · 2 bình luận · 0 reaction · 0 người được giao ·
-
Enhancement: Infinite streams Đang mởdifficult postponed
argumentcomputer/Megaparsec.lean#20 · 1 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Megaparsec.lean#25 · 0 bình luận · 0 reaction · 0 người được giao ·
-
good first issue
argumentcomputer/Megaparsec.lean#26 · 1 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Megaparsec.lean#29 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Megaparsec.lean#40 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Performance: Profile Megaparsec to see where the bottlenecks are leading to poor performance Đang mở
argumentcomputer/Megaparsec.lean#54 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Bump Straume version Đang mở
argumentcomputer/Megaparsec.lean#55 · 3 bình luận · 0 reaction · 0 người được giao ·
-
Can you update the project? Đang mở
argumentcomputer/Megaparsec.lean#59 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/RustFFI.lean#5 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Avoid clashes with Mathlib Đang mở
argumentcomputer/YatimaStdLib.lean#95 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Issue while running Main Đang mở
argumentcomputer/lurk-hs#1 · 5 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/lurk-hs#15 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Lurk.lean#47 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/Lurk.lean#48 · 1 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/yatima#88 · 5 bình luận · 0 reaction · 2 người được giao ·
-
Document everything Đang mởdocumentation
argumentcomputer/yatima#158 · 0 bình luận · 0 reaction · 1 người được giao ·
-
Negative typecheck tests Đang mởtypechecker
argumentcomputer/yatima#181 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Compiler to the EVM through Yul Đang mở
argumentcomputer/yatima#238 · 0 bình luận · 2 reaction · 0 người được giao ·
-
Typechecker stack overflow Đang mởbug typechecker
argumentcomputer/yatima#243 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Constant -> Declaration Đang mởgood first issue
argumentcomputer/yatima#245 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/yatima#249 · 0 bình luận · 0 reaction · 0 người được giao ·
-
enhancement typechecker
argumentcomputer/yatima#268 · 0 bình luận · 1 reaction · 0 người được giao ·
-
enhancement typechecker
argumentcomputer/yatima#272 · 0 bình luận · 0 reaction · 0 người được giao ·
-
enhancement infra
argumentcomputer/yatima#275 · 0 bình luận · 0 reaction · 0 người được giao ·
-
argumentcomputer/yatima#280 · 0 bình luận · 0 reaction · 0 người được giao ·
Đang hiển thị 100 mục mới nhất
Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.