Propietario
argumentcomputer
19 repositorios indexados · Ver en GitHub
-
yatima
A zero-knowledge Lean4 compiler and kernel
Lean · 146 estrellas
-
ix
a zero-knowledge proof-carrying code protocol for Lean 4
Rust · 93 estrellas
-
LSpec
A Testing Framework for Lean
Lean · 84 estrellas
-
sphinx
An observatory fork of SP1
Rust · 80 estrellas
-
zk-light-clients
A collection of ZK light client libraries for various blockchains
Rust · 70 estrellas
-
Wasm.lean
A WebAssembly implementation in Lean4
Lean · 48 estrellas
-
Megaparsec.lean
Lean 4 port of Megaparsec
Lean · 37 estrellas
-
RustFFI.lean
Template for Lean<->Rust FFI
Lean · 17 estrellas
-
Lean · 9 estrellas
-
Lurk.lean
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
Lean · 9 estrellas
-
ZKSnark.lean
https://yatima-inc.github.io/ZKSnark.lean/
Lean · 8 estrellas
-
Ipld.lean
a Lean4 implementation of the IPLD format
Lean · 8 estrellas
-
straume
State-of-the-art streams for Lean 4
Lean · 6 estrellas
-
multi-stark
Implementation of a multicircuit STARK in P3
Rust · 5 estrellas
-
Lean · 3 estrellas
-
lurk-hs
Haskell Wrappers for Lurk
Haskell · 2 estrellas
-
Neptune.lean
Lean Neptune bindings
Lean · 1 estrella
-
template-rust-lib
Base template for a Rust library crate with CI, config files, and branch protection
Rust · 0 estrellas
-
ci-workflows
GitHub Actions workflows and templates for use in Argument repos
0 estrellas
-
Add lake build Abierto
argumentcomputer/Neptune.lean#2 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Fix the PolynomialDegree module Abierto
argumentcomputer/ZKSnark.lean#7 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/ZKSnark.lean#8 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Wasm.lean#15 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Wasm.lean#25 · 2 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Wasm.lean#26 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Wasm.lean#27 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Safety: Bit sizes and overflows Abierto
argumentcomputer/Wasm.lean#37 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Wasm.lean#47 · 1 comentario · 0 reacciones · 0 asignados ·
-
lowpriority
argumentcomputer/Wasm.lean#54 · 0 comentarios · 0 reacciones · 0 asignados ·
-
lowpriority
argumentcomputer/Wasm.lean#59 · 0 comentarios · 0 reacciones · 0 asignados ·
-
lowpriority
argumentcomputer/Wasm.lean#61 · 0 comentarios · 0 reacciones · 0 asignados ·
-
highpriority
argumentcomputer/Wasm.lean#66 · 0 comentarios · 0 reacciones · 0 asignados ·
-
epic
argumentcomputer/Wasm.lean#67 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Define the Pasta curve Abierto
argumentcomputer/Nova.lean#5 · 0 comentarios · 0 reacciones · 1 asignado ·
-
argumentcomputer/Nova.lean#6 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Nova.lean#7 · 0 comentarios · 0 reacciones · 1 asignado ·
-
argumentcomputer/Nova.lean#8 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Serialisation tools for Nova Abierto
argumentcomputer/Nova.lean#11 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Nova.lean#12 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Documentation Abiertodocumentation good first issue
argumentcomputer/Ipld.lean#5 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Design Straume.Channel Abiertodifficult
argumentcomputer/straume#2 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/straume#9 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/straume#15 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Megaparsec.lean#18 · 2 comentarios · 0 reacciones · 0 asignados ·
-
Enhancement: Infinite streams Abiertodifficult postponed
argumentcomputer/Megaparsec.lean#20 · 1 comentario · 0 reacciones · 0 asignados ·
-
argumentcomputer/Megaparsec.lean#25 · 0 comentarios · 0 reacciones · 0 asignados ·
-
good first issue
argumentcomputer/Megaparsec.lean#26 · 1 comentario · 0 reacciones · 0 asignados ·
-
argumentcomputer/Megaparsec.lean#29 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Megaparsec.lean#40 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Performance: Profile Megaparsec to see where the bottlenecks are leading to poor performance Abierto
argumentcomputer/Megaparsec.lean#54 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Bump Straume version Abierto
argumentcomputer/Megaparsec.lean#55 · 3 comentarios · 0 reacciones · 0 asignados ·
-
Can you update the project? Abierto
argumentcomputer/Megaparsec.lean#59 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/RustFFI.lean#5 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Avoid clashes with Mathlib Abierto
argumentcomputer/YatimaStdLib.lean#95 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Issue while running Main Abierto
argumentcomputer/lurk-hs#1 · 5 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/lurk-hs#15 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Lurk.lean#47 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Lurk.lean#48 · 1 comentario · 0 reacciones · 0 asignados ·
-
argumentcomputer/yatima#88 · 5 comentarios · 0 reacciones · 2 asignados ·
-
Document everything Abiertodocumentation
argumentcomputer/yatima#158 · 0 comentarios · 0 reacciones · 1 asignado ·
-
Negative typecheck tests Abiertotypechecker
argumentcomputer/yatima#181 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Compiler to the EVM through Yul Abierto
argumentcomputer/yatima#238 · 0 comentarios · 2 reacciones · 0 asignados ·
-
Typechecker stack overflow Abiertobug typechecker
argumentcomputer/yatima#243 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Constant -> Declaration Abiertogood first issue
argumentcomputer/yatima#245 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/yatima#249 · 0 comentarios · 0 reacciones · 0 asignados ·
-
enhancement typechecker
argumentcomputer/yatima#268 · 0 comentarios · 1 reacción · 0 asignados ·
-
enhancement typechecker
argumentcomputer/yatima#272 · 0 comentarios · 0 reacciones · 0 asignados ·
-
enhancement infra
argumentcomputer/yatima#275 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/yatima#280 · 0 comentarios · 0 reacciones · 0 asignados ·
Mostrando los 100 más recientes
Esta página solo lista lo indexado más recientemente. El filtro avanzado tiene el inventario completo, acotado por lenguaje, dificultad y duración.