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 件 · 担当者 1 名 ·
-
tests
0xMiden/air-script#9 · コメント 3 件 · リアクション 0 件 · 担当者 1 名 ·
-
0xMiden/air-script#31 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/air-script#43 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
on hold
0xMiden/air-script#66 · コメント 4 件 · リアクション 0 件 · 担当者 0 名 ·
-
Recoverable Errors オープンon hold parser
0xMiden/air-script#88 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
on hold
0xMiden/air-script#90 · コメント 3 件 · リアクション 2 件 · 担当者 0 名 ·
-
codegen
0xMiden/air-script#131 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/air-script#135 · コメント 3 件 · リアクション 1 件 · 担当者 0 名 ·
-
0xMiden/air-script#167 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/air-script#170 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/air-script#174 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
MidenVM constraints
0xMiden/air-script#182 · コメント 4 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/air-script#198 · コメント 1 件 · リアクション 0 件 · 担当者 1 名 ·
-
MidenVM constraints
0xMiden/air-script#199 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
MidenVM constraints
0xMiden/air-script#201 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
MidenVM constraints
0xMiden/air-script#202 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
MidenVM constraints
0xMiden/air-script#206 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
MidenVM constraints
0xMiden/air-script#207 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
MidenVM constraints
0xMiden/air-script#209 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
MidenVM constraints
0xMiden/air-script#210 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
MidenVM constraints
0xMiden/air-script#211 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
0xMiden/air-script#220 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/air-script#230 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/air-script#231 · コメント 0 件 · リアクション 1 件 · 担当者 0 名 ·
-
Add IR tests オープン
0xMiden/air-script#235 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
0xMiden/air-script#240 · コメント 1 件 · リアクション 2 件 · 担当者 0 名 ·
-
0xMiden/air-script#244 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
0xMiden/air-script#268 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/air-script#273 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
good first issue
0xMiden/air-script#275 · コメント 4 件 · リアクション 0 件 · 担当者 0 名 ·
-
Stdlib for airscript オープン
0xMiden/air-script#294 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/air-script#313 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/air-script#314 · コメント 0 件 · リアクション 1 件 · 担当者 0 名 ·
-
0xMiden/air-script#315 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·
-
parser
0xMiden/air-script#334 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
0xMiden/air-script#346 · コメント 0 件 · リアクション 1 件 · 担当者 0 名 ·
-
Reproducible Build オープン
0xMiden/air-script#347 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/air-script#354 · コメント 0 件 · リアクション 1 件 · 担当者 0 名 ·
-
MidenVM constraints
0xMiden/air-script#377 · コメント 7 件 · リアクション 0 件 · 担当者 1 名 ·
-
IR parser
0xMiden/air-script#379 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
codegen
0xMiden/air-script#381 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/air-script#384 · コメント 1 件 · リアクション 1 件 · 担当者 0 名 ·
-
tests
0xMiden/air-script#390 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
codegen
0xMiden/air-script#391 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
0xMiden/air-script#392 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
Add `no_std` support オープン
0xMiden/air-script#393 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/air-script#397 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/air-script#407 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
Test ACE layout オープンtests
0xMiden/air-script#421 · コメント 0 件 · リアクション 1 件 · 担当者 0 名 ·