argumentcomputer/ix
Auf GitHub ansehena zero-knowledge proof-carrying code protocol for Lean 4
- Sterne
- 93
- Forks
- 3
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 10
- Ø Merge
- 21 Std. 7 Min.
- Gemergte PRs (30 T.)
- 45
- Vorherrschende Sprache
- Rust
- Lizenz
- Apache-2.0
- Letzter GitHub-Push
- 12.9.2026
- Zuletzt indexiert
- 14.9.2026
- Beitragsleitfaden
- Kein Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- Keine Anfänger-Labels indexiert
-
enhancement hot-path ix
argumentcomputer/ix#168 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
argumentcomputer/ix#256 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Fix build on macOS Offen
argumentcomputer/ix#262 · 1 Kommentar · 1 Reaktion · 0 zugewiesene Personen ·
-
ix
argumentcomputer/ix#277 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
argumentcomputer/ix#291 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
bug enhancement rust
argumentcomputer/ix#303 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
argumentcomputer/ix#350 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
-
argumentcomputer/ix#373 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Missing Aiur features Offen
argumentcomputer/ix#389 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
`io_load_info` Offen
argumentcomputer/ix#419 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·