argumentcomputer/ix
Xem trên GitHuba zero-knowledge proof-carrying code protocol for Lean 4
- Star
- 96
- Fork
- 3
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 10
- Merge trung bình
- 1 ngày 3 giờ
- Pull request đã merge (30 ngày)
- 29
- Ngôn ngữ chính
- Rust
- Giấy phép
- Apache-2.0
- Lần push lên GitHub gần nhất
- 17/9/2026
- Lập chỉ mục gần nhất
- 14/9/2026
- Hướng dẫn đóng góp
- Không có hướng dẫn đóng góp
- Quy tắc ứng xử
- Không có quy tắc ứng xử
- Label cho người mới
- Chưa lập chỉ mục label nào cho người mới
-
`io_load_info` Đang mở
argumentcomputer/ix#419 · 1 người được giao ·
-
Missing Aiur features Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100
argumentcomputer/ix#389 ·
-
Toward a Verified Aiur Compiler Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
argumentcomputer/ix#373 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 28/100
argumentcomputer/ix#350 · 1 reaction ·
-
bug enhancement rust
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
argumentcomputer/ix#303 ·
-
Bincode dependency unmaintained Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
argumentcomputer/ix#291 ·
-
ix
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
argumentcomputer/ix#277 · 1 bình luận ·
-
Fix build on macOS Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
argumentcomputer/ix#262 · 1 bình luận · 1 reaction ·
-
enhancement
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 42/100
argumentcomputer/ix#256 ·
-
enhancement hot-path ix
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
argumentcomputer/ix#168 ·