argumentcomputer/ix
Ver en GitHuba zero-knowledge proof-carrying code protocol for Lean 4
- Estrellas
- 96
- Forks
- 3
- Issues abiertos para principiantes
- 0
- Issues indexados
- 10
- Merge medio
- 1 d 3 h
- PR fusionados (30 d)
- 29
- Lenguaje dominante
- Rust
- Licencia
- Apache-2.0
- Último push a GitHub
- 17/9/2026
- Última indexación
- 14/9/2026
- Guía de contribución
- Sin guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- Sin etiquetas para principiantes indexadas
-
`io_load_info` Abierto
argumentcomputer/ix#419 · 1 asignado ·
-
Missing Aiur features Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100
argumentcomputer/ix#389 ·
-
Toward a Verified Aiur Compiler Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
argumentcomputer/ix#373 ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 28/100
argumentcomputer/ix#350 · 1 reacción ·
-
bug enhancement rust
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
argumentcomputer/ix#303 ·
-
Bincode dependency unmaintained Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
argumentcomputer/ix#291 ·
-
ix
Dificultad 3/5 1-2 días Aptitud para principiantes 55/100
argumentcomputer/ix#277 · 1 comentario ·
-
Fix build on macOS Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
argumentcomputer/ix#262 · 1 comentario · 1 reacción ·
-
enhancement
Dificultad 3/5 1-2 días Aptitud para principiantes 42/100
argumentcomputer/ix#256 ·
-
enhancement hot-path ix
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
argumentcomputer/ix#168 ·