0xMiden/air-script
Xem trên GitHubA domain-specific language for writing AIR constraints for STARKs
- Star
- 96
- Fork
- 39
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 87
- Ngôn ngữ chính
- Rust
- Giấy phép
- MIT
- Lần push lên GitHub gần nhất
- 6/3/2026
- Lập chỉ mục gần nhất
- 13/9/2026
- Hướng dẫn đóng góp
- 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
- good first issue
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
-
Revised bus boundary constraints Đang mở
0xMiden/air-script#422 · 9 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#428 · 0 bình luận · 1 reaction · 0 người được giao ·
-
0xMiden/air-script#430 · 1 bình luận · 1 reaction · 0 người được giao ·
-
Refine type inference Đang mởIR
0xMiden/air-script#432 · 11 bình luận · 0 reaction · 0 người được giao ·
-
on hold
0xMiden/air-script#433 · 9 bình luận · 0 reaction · 0 người được giao ·
-
Document usage of pure functions Đang mởdocumentation
0xMiden/air-script#436 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Remove the `$main` keyword Đang mở
0xMiden/air-script#441 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#445 · 0 bình luận · 0 reaction · 0 người được giao ·
-
IR
0xMiden/air-script#446 · 0 bình luận · 0 reaction · 0 người được giao ·
-
IR
0xMiden/air-script#448 · 0 bình luận · 0 reaction · 0 người được giao ·
-
codegen
0xMiden/air-script#450 · 1 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#452 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#454 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#455 · 2 bình luận · 2 reaction · 0 người được giao ·
-
Unify all testing Airs Đang mở
0xMiden/air-script#456 · 0 bình luận · 1 reaction · 0 người được giao ·
-
0xMiden/air-script#463 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#465 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#467 · 1 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#474 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#475 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#481 · 1 bình luận · 0 reaction · 0 người được giao ·
-
MidenVM constraints
0xMiden/air-script#482 · 0 bình luận · 0 reaction · 0 người được giao ·
-
codegen
0xMiden/air-script#483 · 2 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#485 · 0 bình luận · 0 reaction · 0 người được giao ·
-
IR
0xMiden/air-script#486 · 0 bình luận · 0 reaction · 1 người được giao ·
-
codegen
0xMiden/air-script#492 · 0 bình luận · 0 reaction · 0 người được giao ·
-
IR parser
0xMiden/air-script#502 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Potential Mir improvements Đang mở
0xMiden/air-script#504 · 0 bình luận · 1 reaction · 0 người được giao ·
-
0xMiden/air-script#506 · 2 bình luận · 1 reaction · 0 người được giao ·
-
0xMiden/air-script#518 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#519 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#521 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#522 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#529 · 0 bình luận · 0 reaction · 0 người được giao ·
-
tests
0xMiden/air-script#532 · 0 bình luận · 0 reaction · 1 người được giao ·
-
0xMiden/air-script#534 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#555 · 0 bình luận · 0 reaction · 0 người được giao ·