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
-
Improve IR tests Đang mởIR tests
0xMiden/air-script#7 · 0 bình luận · 0 reaction · 1 người được giao ·
-
Add unit tests for codegen Đang mởtests
0xMiden/air-script#9 · 3 bình luận · 0 reaction · 1 người được giao ·
-
0xMiden/air-script#31 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#43 · 0 bình luận · 0 reaction · 1 người được giao ·
-
on hold
0xMiden/air-script#66 · 4 bình luận · 0 reaction · 0 người được giao ·
-
Recoverable Errors Đang mởon hold parser
0xMiden/air-script#88 · 2 bình luận · 0 reaction · 0 người được giao ·
-
on hold
0xMiden/air-script#90 · 3 bình luận · 2 reaction · 0 người được giao ·
-
codegen
0xMiden/air-script#131 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#135 · 3 bình luận · 1 reaction · 0 người được giao ·
-
0xMiden/air-script#167 · 2 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#170 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#174 · 0 bình luận · 0 reaction · 0 người được giao ·
-
MidenVM constraints
0xMiden/air-script#182 · 4 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#198 · 1 bình luận · 0 reaction · 1 người được giao ·
-
MidenVM constraints
0xMiden/air-script#199 · 0 bình luận · 0 reaction · 0 người được giao ·
-
MidenVM constraints
0xMiden/air-script#201 · 0 bình luận · 0 reaction · 1 người được giao ·
-
MidenVM constraints
0xMiden/air-script#202 · 0 bình luận · 0 reaction · 1 người được giao ·
-
MidenVM constraints
0xMiden/air-script#206 · 0 bình luận · 0 reaction · 1 người được giao ·
-
MidenVM constraints
0xMiden/air-script#207 · 0 bình luận · 0 reaction · 0 người được giao ·
-
MidenVM constraints
0xMiden/air-script#209 · 0 bình luận · 0 reaction · 1 người được giao ·
-
MidenVM constraints
0xMiden/air-script#210 · 0 bình luận · 0 reaction · 0 người được giao ·
-
MidenVM constraints
0xMiden/air-script#211 · 0 bình luận · 0 reaction · 1 người được giao ·
-
0xMiden/air-script#220 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#230 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#231 · 0 bình luận · 1 reaction · 0 người được giao ·
-
Add IR tests Đang mở
0xMiden/air-script#235 · 0 bình luận · 0 reaction · 1 người được giao ·
-
0xMiden/air-script#240 · 1 bình luận · 2 reaction · 0 người được giao ·
-
0xMiden/air-script#244 · 0 bình luận · 0 reaction · 1 người được giao ·
-
0xMiden/air-script#268 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#273 · 0 bình luận · 0 reaction · 0 người được giao ·
-
good first issue
0xMiden/air-script#275 · 4 bình luận · 0 reaction · 0 người được giao ·
-
Stdlib for airscript Đang mở
0xMiden/air-script#294 · 1 bình luận · 0 reaction · 0 người được giao ·
-
Point and sequence assertions Đang mở
0xMiden/air-script#313 · 1 bình luận · 0 reaction · 0 người được giao ·
-
Sort public inputs by name Đang mở
0xMiden/air-script#314 · 0 bình luận · 1 reaction · 0 người được giao ·
-
Sort boundary constraints Đang mở
0xMiden/air-script#315 · 1 bình luận · 0 reaction · 0 người được giao ·
-
parser
0xMiden/air-script#334 · 0 bình luận · 0 reaction · 1 người được giao ·
-
0xMiden/air-script#346 · 0 bình luận · 1 reaction · 0 người được giao ·
-
Reproducible Build Đang mở
0xMiden/air-script#347 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#354 · 0 bình luận · 1 reaction · 0 người được giao ·
-
MidenVM constraints
0xMiden/air-script#377 · 7 bình luận · 0 reaction · 1 người được giao ·
-
IR parser
0xMiden/air-script#379 · 2 bình luận · 0 reaction · 0 người được giao ·
-
JSON output for Fabric VPU Đang mởcodegen
0xMiden/air-script#381 · 2 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#384 · 1 bình luận · 1 reaction · 0 người được giao ·
-
tests
0xMiden/air-script#390 · 0 bình luận · 0 reaction · 0 người được giao ·
-
codegen
0xMiden/air-script#391 · 0 bình luận · 0 reaction · 1 người được giao ·
-
0xMiden/air-script#392 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Add `no_std` support Đang mở
0xMiden/air-script#393 · 0 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#397 · 2 bình luận · 0 reaction · 0 người được giao ·
-
0xMiden/air-script#407 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Test ACE layout Đang mởtests
0xMiden/air-script#421 · 0 bình luận · 1 reaction · 0 người được giao ·