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 人 ·