argumentcomputer/ix
Vedi su GitHuba zero-knowledge proof-carrying code protocol for Lean 4
- Stelle
- 93
- Fork
- 3
- Issue aperte per principianti
- 0
- Issue indicizzate
- 10
- Merge medio
- 21h 7m
- PR unite (30g)
- 45
- Lingua principale
- Rust
- Licenza
- Apache-2.0
- Ultimo push su GitHub
- 12/9/2026
- Ultima indicizzazione
- 14/9/2026
- Guida per i contributori
- Nessuna guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- Nessuna label per principianti indicizzata
-
enhancement hot-path ix
argumentcomputer/ix#168 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
enhancement
argumentcomputer/ix#256 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Fix build on macOS Aperta
argumentcomputer/ix#262 · 1 commento · 1 reazione · 0 assegnatari ·
-
ix
argumentcomputer/ix#277 · 1 commento · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/ix#291 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
bug enhancement rust
argumentcomputer/ix#303 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/ix#350 · 0 commenti · 1 reazione · 0 assegnatari ·
-
argumentcomputer/ix#373 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Missing Aiur features Aperta
argumentcomputer/ix#389 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
`io_load_info` Aperta
argumentcomputer/ix#419 · 0 commenti · 0 reazioni · 1 assegnatario ·