Propriétaire
argumentcomputer
19 dépôts indexés · Voir sur GitHub
-
yatima
A zero-knowledge Lean4 compiler and kernel
Lean · 146 étoiles
-
ix
a zero-knowledge proof-carrying code protocol for Lean 4
Rust · 93 étoiles
-
LSpec
A Testing Framework for Lean
Lean · 84 étoiles
-
sphinx
An observatory fork of SP1
Rust · 80 étoiles
-
zk-light-clients
A collection of ZK light client libraries for various blockchains
Rust · 70 étoiles
-
Wasm.lean
A WebAssembly implementation in Lean4
Lean · 48 étoiles
-
Megaparsec.lean
Lean 4 port of Megaparsec
Lean · 37 étoiles
-
RustFFI.lean
Template for Lean<->Rust FFI
Lean · 17 étoiles
-
Lean · 9 étoiles
-
Lurk.lean
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
Lean · 9 étoiles
-
ZKSnark.lean
https://yatima-inc.github.io/ZKSnark.lean/
Lean · 8 étoiles
-
Ipld.lean
a Lean4 implementation of the IPLD format
Lean · 8 étoiles
-
straume
State-of-the-art streams for Lean 4
Lean · 6 étoiles
-
multi-stark
Implementation of a multicircuit STARK in P3
Rust · 5 étoiles
-
Lean · 3 étoiles
-
lurk-hs
Haskell Wrappers for Lurk
Haskell · 2 étoiles
-
Neptune.lean
Lean Neptune bindings
Lean · 1 étoile
-
template-rust-lib
Base template for a Rust library crate with CI, config files, and branch protection
Rust · 0 étoiles
-
ci-workflows
GitHub Actions workflows and templates for use in Argument repos
0 étoiles
-
Add lake build Ouverte
argumentcomputer/Neptune.lean#2 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Fix the PolynomialDegree module Ouverte
argumentcomputer/ZKSnark.lean#7 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/ZKSnark.lean#8 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Wasm.lean#15 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Wasm.lean#25 · 2 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Wasm.lean#26 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Wasm.lean#27 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Safety: Bit sizes and overflows Ouverte
argumentcomputer/Wasm.lean#37 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Wasm.lean#47 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
lowpriority
argumentcomputer/Wasm.lean#54 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
lowpriority
argumentcomputer/Wasm.lean#59 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
lowpriority
argumentcomputer/Wasm.lean#61 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
highpriority
argumentcomputer/Wasm.lean#66 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
epic
argumentcomputer/Wasm.lean#67 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Define the Pasta curve Ouverte
argumentcomputer/Nova.lean#5 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
argumentcomputer/Nova.lean#6 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Nova.lean#7 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
argumentcomputer/Nova.lean#8 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Serialisation tools for Nova Ouverte
argumentcomputer/Nova.lean#11 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Nova.lean#12 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Documentation Ouvertedocumentation good first issue
argumentcomputer/Ipld.lean#5 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Design Straume.Channel Ouvertedifficult
argumentcomputer/straume#2 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/straume#9 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/straume#15 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Megaparsec.lean#18 · 2 commentaires · 0 réactions · 0 personnes assignées ·
-
Enhancement: Infinite streams Ouvertedifficult postponed
argumentcomputer/Megaparsec.lean#20 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Megaparsec.lean#25 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
good first issue
argumentcomputer/Megaparsec.lean#26 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Megaparsec.lean#29 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Megaparsec.lean#40 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Performance: Profile Megaparsec to see where the bottlenecks are leading to poor performance Ouverte
argumentcomputer/Megaparsec.lean#54 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Bump Straume version Ouverte
argumentcomputer/Megaparsec.lean#55 · 3 commentaires · 0 réactions · 0 personnes assignées ·
-
Can you update the project? Ouverte
argumentcomputer/Megaparsec.lean#59 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/RustFFI.lean#5 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Avoid clashes with Mathlib Ouverte
argumentcomputer/YatimaStdLib.lean#95 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Issue while running Main Ouverte
argumentcomputer/lurk-hs#1 · 5 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/lurk-hs#15 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Lurk.lean#47 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Lurk.lean#48 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/yatima#88 · 5 commentaires · 0 réactions · 2 personnes assignées ·
-
Document everything Ouvertedocumentation
argumentcomputer/yatima#158 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
Negative typecheck tests Ouvertetypechecker
argumentcomputer/yatima#181 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Compiler to the EVM through Yul Ouverte
argumentcomputer/yatima#238 · 0 commentaires · 2 réactions · 0 personnes assignées ·
-
Typechecker stack overflow Ouvertebug typechecker
argumentcomputer/yatima#243 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Constant -> Declaration Ouvertegood first issue
argumentcomputer/yatima#245 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/yatima#249 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
enhancement typechecker
argumentcomputer/yatima#268 · 0 commentaires · 1 réaction · 0 personnes assignées ·
-
enhancement typechecker
argumentcomputer/yatima#272 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
enhancement infra
argumentcomputer/yatima#275 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/yatima#280 · 0 commentaires · 0 réactions · 0 personnes assignées ·
Affichage des 100 plus récents
Cette page ne liste que les entrées les plus récentes. Le filtre avancé contient l'inventaire complet, affiné par langage, difficulté et durée.