0xMiden/air-script
Ver no GitHubA domain-specific language for writing AIR constraints for STARKs
- Estrelas
- 96
- Forks
- 39
- Issues abertas para iniciantes
- 0
- Issues indexadas
- 87
- Linguagem predominante
- Rust
- Licença
- MIT
- Último push no GitHub
- 6/3/2026
- Última indexação
- 13/9/2026
- Guia de contribuição
- Guia de contribuição
- Código de conduta
- Sem código de conduta
- Labels para iniciantes
- good first issue
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
-
Improve IR tests AbertaIR tests
0xMiden/air-script#7 · 0 comentários · 0 reações · 1 responsável ·
-
Add unit tests for codegen Abertatests
0xMiden/air-script#9 · 3 comentários · 0 reações · 1 responsável ·
-
0xMiden/air-script#31 · 0 comentários · 0 reações · 0 responsáveis ·
-
0xMiden/air-script#43 · 0 comentários · 0 reações · 1 responsável ·
-
on hold
0xMiden/air-script#66 · 4 comentários · 0 reações · 0 responsáveis ·
-
Recoverable Errors Abertaon hold parser
0xMiden/air-script#88 · 2 comentários · 0 reações · 0 responsáveis ·
-
on hold
0xMiden/air-script#90 · 3 comentários · 2 reações · 0 responsáveis ·
-
codegen
0xMiden/air-script#131 · 0 comentários · 0 reações · 0 responsáveis ·
-
0xMiden/air-script#135 · 3 comentários · 1 reação · 0 responsáveis ·
-
0xMiden/air-script#167 · 2 comentários · 0 reações · 0 responsáveis ·
-
0xMiden/air-script#170 · 0 comentários · 0 reações · 0 responsáveis ·
-
0xMiden/air-script#174 · 0 comentários · 0 reações · 0 responsáveis ·
-
MidenVM constraints
0xMiden/air-script#182 · 4 comentários · 0 reações · 0 responsáveis ·
-
0xMiden/air-script#198 · 1 comentário · 0 reações · 1 responsável ·
-
MidenVM constraints
0xMiden/air-script#199 · 0 comentários · 0 reações · 0 responsáveis ·
-
MidenVM constraints
0xMiden/air-script#201 · 0 comentários · 0 reações · 1 responsável ·
-
MidenVM constraints
0xMiden/air-script#202 · 0 comentários · 0 reações · 1 responsável ·
-
MidenVM constraints
0xMiden/air-script#206 · 0 comentários · 0 reações · 1 responsável ·
-
MidenVM constraints
0xMiden/air-script#207 · 0 comentários · 0 reações · 0 responsáveis ·
-
MidenVM constraints
0xMiden/air-script#209 · 0 comentários · 0 reações · 1 responsável ·
-
MidenVM constraints
0xMiden/air-script#210 · 0 comentários · 0 reações · 0 responsáveis ·
-
MidenVM constraints
0xMiden/air-script#211 · 0 comentários · 0 reações · 1 responsável ·
-
0xMiden/air-script#220 · 0 comentários · 0 reações · 0 responsáveis ·
-
0xMiden/air-script#230 · 0 comentários · 0 reações · 0 responsáveis ·
-
0xMiden/air-script#231 · 0 comentários · 1 reação · 0 responsáveis ·
-
Add IR tests Aberta
0xMiden/air-script#235 · 0 comentários · 0 reações · 1 responsável ·
-
0xMiden/air-script#240 · 1 comentário · 2 reações · 0 responsáveis ·
-
0xMiden/air-script#244 · 0 comentários · 0 reações · 1 responsável ·
-
0xMiden/air-script#268 · 0 comentários · 0 reações · 0 responsáveis ·
-
0xMiden/air-script#273 · 0 comentários · 0 reações · 0 responsáveis ·
-
good first issue
0xMiden/air-script#275 · 4 comentários · 0 reações · 0 responsáveis ·
-
Stdlib for airscript Aberta
0xMiden/air-script#294 · 1 comentário · 0 reações · 0 responsáveis ·
-
0xMiden/air-script#313 · 1 comentário · 0 reações · 0 responsáveis ·
-
Sort public inputs by name Aberta
0xMiden/air-script#314 · 0 comentários · 1 reação · 0 responsáveis ·
-
Sort boundary constraints Aberta
0xMiden/air-script#315 · 1 comentário · 0 reações · 0 responsáveis ·
-
parser
0xMiden/air-script#334 · 0 comentários · 0 reações · 1 responsável ·
-
0xMiden/air-script#346 · 0 comentários · 1 reação · 0 responsáveis ·
-
Reproducible Build Aberta
0xMiden/air-script#347 · 0 comentários · 0 reações · 0 responsáveis ·
-
0xMiden/air-script#354 · 0 comentários · 1 reação · 0 responsáveis ·
-
MidenVM constraints
0xMiden/air-script#377 · 7 comentários · 0 reações · 1 responsável ·
-
IR parser
0xMiden/air-script#379 · 2 comentários · 0 reações · 0 responsáveis ·
-
JSON output for Fabric VPU Abertacodegen
0xMiden/air-script#381 · 2 comentários · 0 reações · 0 responsáveis ·
-
0xMiden/air-script#384 · 1 comentário · 1 reação · 0 responsáveis ·
-
tests
0xMiden/air-script#390 · 0 comentários · 0 reações · 0 responsáveis ·
-
codegen
0xMiden/air-script#391 · 0 comentários · 0 reações · 1 responsável ·
-
0xMiden/air-script#392 · 0 comentários · 0 reações · 0 responsáveis ·
-
Add `no_std` support Aberta
0xMiden/air-script#393 · 0 comentários · 0 reações · 0 responsáveis ·
-
0xMiden/air-script#397 · 2 comentários · 0 reações · 0 responsáveis ·
-
0xMiden/air-script#407 · 0 comentários · 0 reações · 0 responsáveis ·
-
Test ACE layout Abertatests
0xMiden/air-script#421 · 0 comentários · 1 reação · 0 responsáveis ·