argumentcomputer/ix
Voir sur GitHuba zero-knowledge proof-carrying code protocol for Lean 4
- Étoiles
- 96
- Forks
- 3
- Issues débutants ouvertes
- 0
- Issues indexées
- 10
- Merge moyen
- 21 h 7 min
- PR mergées (30 j)
- 45
- Langage dominant
- Rust
- Licence
- Apache-2.0
- Dernier push GitHub
- 17/9/2026
- Dernière indexation
- 14/9/2026
- Guide de contribution
- Aucun guide de contribution
- Code de conduite
- Aucun code de conduite
- Labels débutants
- Aucun label débutant indexé
-
enhancement hot-path ix
argumentcomputer/ix#168 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
enhancement
argumentcomputer/ix#256 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Fix build on macOS Ouverte
argumentcomputer/ix#262 · 1 commentaire · 1 réaction · 0 personnes assignées ·
-
ix
argumentcomputer/ix#277 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
Bincode dependency unmaintained Ouverte
argumentcomputer/ix#291 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
bug enhancement rust
argumentcomputer/ix#303 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/ix#350 · 0 commentaires · 1 réaction · 0 personnes assignées ·
-
Toward a Verified Aiur Compiler Ouverte
argumentcomputer/ix#373 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Missing Aiur features Ouverte
argumentcomputer/ix#389 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
`io_load_info` Ouverte
argumentcomputer/ix#419 · 0 commentaires · 0 réactions · 1 personne assignée ·