Proprietario
argumentcomputer
19 repository indicizzati · Vedi su GitHub
-
yatima
A zero-knowledge Lean4 compiler and kernel
Lean · 146 stelle
-
ix
a zero-knowledge proof-carrying code protocol for Lean 4
Rust · 93 stelle
-
LSpec
A Testing Framework for Lean
Lean · 84 stelle
-
sphinx
An observatory fork of SP1
Rust · 80 stelle
-
zk-light-clients
A collection of ZK light client libraries for various blockchains
Rust · 70 stelle
-
Wasm.lean
A WebAssembly implementation in Lean4
Lean · 48 stelle
-
Megaparsec.lean
Lean 4 port of Megaparsec
Lean · 37 stelle
-
RustFFI.lean
Template for Lean<->Rust FFI
Lean · 17 stelle
-
Lean · 9 stelle
-
Lurk.lean
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
Lean · 9 stelle
-
ZKSnark.lean
https://yatima-inc.github.io/ZKSnark.lean/
Lean · 8 stelle
-
Ipld.lean
a Lean4 implementation of the IPLD format
Lean · 8 stelle
-
straume
State-of-the-art streams for Lean 4
Lean · 6 stelle
-
multi-stark
Implementation of a multicircuit STARK in P3
Rust · 5 stelle
-
Lean · 3 stelle
-
lurk-hs
Haskell Wrappers for Lurk
Haskell · 2 stelle
-
Neptune.lean
Lean Neptune bindings
Lean · 1 stella
-
template-rust-lib
Base template for a Rust library crate with CI, config files, and branch protection
Rust · 0 stelle
-
ci-workflows
GitHub Actions workflows and templates for use in Argument repos
0 stelle
-
Add lake build Aperta
argumentcomputer/Neptune.lean#2 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/ZKSnark.lean#7 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/ZKSnark.lean#8 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Wasm.lean#15 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Wasm.lean#25 · 2 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Wasm.lean#26 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Wasm.lean#27 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Wasm.lean#37 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Wasm.lean#47 · 1 commento · 0 reazioni · 0 assegnatari ·
-
lowpriority
argumentcomputer/Wasm.lean#54 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
lowpriority
argumentcomputer/Wasm.lean#59 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
lowpriority
argumentcomputer/Wasm.lean#61 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
highpriority
argumentcomputer/Wasm.lean#66 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
epic
argumentcomputer/Wasm.lean#67 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Define the Pasta curve Aperta
argumentcomputer/Nova.lean#5 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
argumentcomputer/Nova.lean#6 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Nova.lean#7 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
argumentcomputer/Nova.lean#8 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Serialisation tools for Nova Aperta
argumentcomputer/Nova.lean#11 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Nova.lean#12 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Documentation Apertadocumentation good first issue
argumentcomputer/Ipld.lean#5 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Design Straume.Channel Apertadifficult
argumentcomputer/straume#2 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/straume#9 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/straume#15 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Megaparsec.lean#18 · 2 commenti · 0 reazioni · 0 assegnatari ·
-
difficult postponed
argumentcomputer/Megaparsec.lean#20 · 1 commento · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Megaparsec.lean#25 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
good first issue
argumentcomputer/Megaparsec.lean#26 · 1 commento · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Megaparsec.lean#29 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Megaparsec.lean#40 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Megaparsec.lean#54 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Bump Straume version Aperta
argumentcomputer/Megaparsec.lean#55 · 3 commenti · 0 reazioni · 0 assegnatari ·
-
Can you update the project? Aperta
argumentcomputer/Megaparsec.lean#59 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/RustFFI.lean#5 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Avoid clashes with Mathlib Aperta
argumentcomputer/YatimaStdLib.lean#95 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Issue while running Main Aperta
argumentcomputer/lurk-hs#1 · 5 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/lurk-hs#15 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Lurk.lean#47 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Lurk.lean#48 · 1 commento · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/yatima#88 · 5 commenti · 0 reazioni · 2 assegnatari ·
-
Document everything Apertadocumentation
argumentcomputer/yatima#158 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
Negative typecheck tests Apertatypechecker
argumentcomputer/yatima#181 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/yatima#238 · 0 commenti · 2 reazioni · 0 assegnatari ·
-
Typechecker stack overflow Apertabug typechecker
argumentcomputer/yatima#243 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Constant -> Declaration Apertagood first issue
argumentcomputer/yatima#245 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/yatima#249 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
enhancement typechecker
argumentcomputer/yatima#268 · 0 commenti · 1 reazione · 0 assegnatari ·
-
enhancement typechecker
argumentcomputer/yatima#272 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
enhancement infra
argumentcomputer/yatima#275 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/yatima#280 · 0 commenti · 0 reazioni · 0 assegnatari ·
Vengono mostrati i 100 più recenti
Questa pagina elenca solo ciò che è stato indicizzato di recente. Il filtro avanzato contiene l'inventario completo, ristretto per linguaggio, difficoltà e durata.