0xMiden/air-script
在 GitHub 檢視A domain-specific language for writing AIR constraints for STARKs
- 星號
- 96
- 分支
- 39
- 開放的新手 issue
- 0
- 已索引 issue
- 87
- 主要語言
- Rust
- 授權條款
- MIT
- 最近 GitHub push
- 2026年3月6日
- 最近索引
- 2026年9月13日
- 貢獻指南
- 貢獻指南
- 行為準則
- 沒有行為準則
- 新手標籤
- good first issue
- PR 合併指標
- 30 天內沒有已合併 PR
-
Improve IR tests 未關閉IR tests
0xMiden/air-script#7 · 0 則留言 · 0 個 reaction · 已指派 1 人 ·
-
tests
0xMiden/air-script#9 · 3 則留言 · 0 個 reaction · 已指派 1 人 ·
-
0xMiden/air-script#31 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#43 · 0 則留言 · 0 個 reaction · 已指派 1 人 ·
-
on hold
0xMiden/air-script#66 · 4 則留言 · 0 個 reaction · 已指派 0 人 ·
-
on hold parser
0xMiden/air-script#88 · 2 則留言 · 0 個 reaction · 已指派 0 人 ·
-
on hold
0xMiden/air-script#90 · 3 則留言 · 2 個 reaction · 已指派 0 人 ·
-
codegen
0xMiden/air-script#131 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#135 · 3 則留言 · 1 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#167 · 2 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#170 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#174 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
MidenVM constraints
0xMiden/air-script#182 · 4 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#198 · 1 則留言 · 0 個 reaction · 已指派 1 人 ·
-
MidenVM constraints
0xMiden/air-script#199 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
MidenVM constraints
0xMiden/air-script#201 · 0 則留言 · 0 個 reaction · 已指派 1 人 ·
-
MidenVM constraints
0xMiden/air-script#202 · 0 則留言 · 0 個 reaction · 已指派 1 人 ·
-
MidenVM constraints
0xMiden/air-script#206 · 0 則留言 · 0 個 reaction · 已指派 1 人 ·
-
MidenVM constraints
0xMiden/air-script#207 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
MidenVM constraints
0xMiden/air-script#209 · 0 則留言 · 0 個 reaction · 已指派 1 人 ·
-
MidenVM constraints
0xMiden/air-script#210 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
MidenVM constraints
0xMiden/air-script#211 · 0 則留言 · 0 個 reaction · 已指派 1 人 ·
-
0xMiden/air-script#220 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#230 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#231 · 0 則留言 · 1 個 reaction · 已指派 0 人 ·
-
Add IR tests 未關閉
0xMiden/air-script#235 · 0 則留言 · 0 個 reaction · 已指派 1 人 ·
-
0xMiden/air-script#240 · 1 則留言 · 2 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#244 · 0 則留言 · 0 個 reaction · 已指派 1 人 ·
-
0xMiden/air-script#268 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#273 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
good first issue
0xMiden/air-script#275 · 4 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#294 · 1 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#313 · 1 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#314 · 0 則留言 · 1 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#315 · 1 則留言 · 0 個 reaction · 已指派 0 人 ·
-
parser
0xMiden/air-script#334 · 0 則留言 · 0 個 reaction · 已指派 1 人 ·
-
0xMiden/air-script#346 · 0 則留言 · 1 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#347 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#354 · 0 則留言 · 1 個 reaction · 已指派 0 人 ·
-
MidenVM constraints
0xMiden/air-script#377 · 7 則留言 · 0 個 reaction · 已指派 1 人 ·
-
IR parser
0xMiden/air-script#379 · 2 則留言 · 0 個 reaction · 已指派 0 人 ·
-
codegen
0xMiden/air-script#381 · 2 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#384 · 1 則留言 · 1 個 reaction · 已指派 0 人 ·
-
tests
0xMiden/air-script#390 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
codegen
0xMiden/air-script#391 · 0 則留言 · 0 個 reaction · 已指派 1 人 ·
-
0xMiden/air-script#392 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#393 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#397 · 2 則留言 · 0 個 reaction · 已指派 0 人 ·
-
0xMiden/air-script#407 · 0 則留言 · 0 個 reaction · 已指派 0 人 ·
-
Test ACE layout 未關閉tests
0xMiden/air-script#421 · 0 則留言 · 1 個 reaction · 已指派 0 人 ·