0xMiden/air-script
Ver en GitHubA domain-specific language for writing AIR constraints for STARKs
- Estrellas
- 96
- Forks
- 39
- Issues abiertos para principiantes
- 0
- Issues indexados
- 87
- Lenguaje dominante
- Rust
- Licencia
- MIT
- Último push a GitHub
- 6/3/2026
- Última indexación
- 13/9/2026
- Guía de contribución
- Guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- good first issue
- Métricas de merge de PR
- Sin PR fusionados en 30 d
-
Improve IR tests AbiertoIR tests
0xMiden/air-script#7 · 0 comentarios · 0 reacciones · 1 asignado ·
-
Add unit tests for codegen Abiertotests
0xMiden/air-script#9 · 3 comentarios · 0 reacciones · 1 asignado ·
-
0xMiden/air-script#31 · 0 comentarios · 0 reacciones · 0 asignados ·
-
0xMiden/air-script#43 · 0 comentarios · 0 reacciones · 1 asignado ·
-
on hold
0xMiden/air-script#66 · 4 comentarios · 0 reacciones · 0 asignados ·
-
Recoverable Errors Abiertoon hold parser
0xMiden/air-script#88 · 2 comentarios · 0 reacciones · 0 asignados ·
-
on hold
0xMiden/air-script#90 · 3 comentarios · 2 reacciones · 0 asignados ·
-
codegen
0xMiden/air-script#131 · 0 comentarios · 0 reacciones · 0 asignados ·
-
0xMiden/air-script#135 · 3 comentarios · 1 reacción · 0 asignados ·
-
0xMiden/air-script#167 · 2 comentarios · 0 reacciones · 0 asignados ·
-
0xMiden/air-script#170 · 0 comentarios · 0 reacciones · 0 asignados ·
-
0xMiden/air-script#174 · 0 comentarios · 0 reacciones · 0 asignados ·
-
MidenVM constraints
0xMiden/air-script#182 · 4 comentarios · 0 reacciones · 0 asignados ·
-
0xMiden/air-script#198 · 1 comentario · 0 reacciones · 1 asignado ·
-
MidenVM constraints
0xMiden/air-script#199 · 0 comentarios · 0 reacciones · 0 asignados ·
-
MidenVM constraints
0xMiden/air-script#201 · 0 comentarios · 0 reacciones · 1 asignado ·
-
MidenVM constraints
0xMiden/air-script#202 · 0 comentarios · 0 reacciones · 1 asignado ·
-
MidenVM constraints
0xMiden/air-script#206 · 0 comentarios · 0 reacciones · 1 asignado ·
-
MidenVM constraints
0xMiden/air-script#207 · 0 comentarios · 0 reacciones · 0 asignados ·
-
MidenVM constraints
0xMiden/air-script#209 · 0 comentarios · 0 reacciones · 1 asignado ·
-
MidenVM constraints
0xMiden/air-script#210 · 0 comentarios · 0 reacciones · 0 asignados ·
-
MidenVM constraints
0xMiden/air-script#211 · 0 comentarios · 0 reacciones · 1 asignado ·
-
0xMiden/air-script#220 · 0 comentarios · 0 reacciones · 0 asignados ·
-
0xMiden/air-script#230 · 0 comentarios · 0 reacciones · 0 asignados ·
-
0xMiden/air-script#231 · 0 comentarios · 1 reacción · 0 asignados ·
-
Add IR tests Abierto
0xMiden/air-script#235 · 0 comentarios · 0 reacciones · 1 asignado ·
-
0xMiden/air-script#240 · 1 comentario · 2 reacciones · 0 asignados ·
-
0xMiden/air-script#244 · 0 comentarios · 0 reacciones · 1 asignado ·
-
0xMiden/air-script#268 · 0 comentarios · 0 reacciones · 0 asignados ·
-
0xMiden/air-script#273 · 0 comentarios · 0 reacciones · 0 asignados ·
-
good first issue
0xMiden/air-script#275 · 4 comentarios · 0 reacciones · 0 asignados ·
-
Stdlib for airscript Abierto
0xMiden/air-script#294 · 1 comentario · 0 reacciones · 0 asignados ·
-
Point and sequence assertions Abierto
0xMiden/air-script#313 · 1 comentario · 0 reacciones · 0 asignados ·
-
Sort public inputs by name Abierto
0xMiden/air-script#314 · 0 comentarios · 1 reacción · 0 asignados ·
-
Sort boundary constraints Abierto
0xMiden/air-script#315 · 1 comentario · 0 reacciones · 0 asignados ·
-
parser
0xMiden/air-script#334 · 0 comentarios · 0 reacciones · 1 asignado ·
-
0xMiden/air-script#346 · 0 comentarios · 1 reacción · 0 asignados ·
-
Reproducible Build Abierto
0xMiden/air-script#347 · 0 comentarios · 0 reacciones · 0 asignados ·
-
0xMiden/air-script#354 · 0 comentarios · 1 reacción · 0 asignados ·
-
MidenVM constraints
0xMiden/air-script#377 · 7 comentarios · 0 reacciones · 1 asignado ·
-
IR parser
0xMiden/air-script#379 · 2 comentarios · 0 reacciones · 0 asignados ·
-
JSON output for Fabric VPU Abiertocodegen
0xMiden/air-script#381 · 2 comentarios · 0 reacciones · 0 asignados ·
-
0xMiden/air-script#384 · 1 comentario · 1 reacción · 0 asignados ·
-
tests
0xMiden/air-script#390 · 0 comentarios · 0 reacciones · 0 asignados ·
-
codegen
0xMiden/air-script#391 · 0 comentarios · 0 reacciones · 1 asignado ·
-
0xMiden/air-script#392 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Add `no_std` support Abierto
0xMiden/air-script#393 · 0 comentarios · 0 reacciones · 0 asignados ·
-
0xMiden/air-script#397 · 2 comentarios · 0 reacciones · 0 asignados ·
-
0xMiden/air-script#407 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Test ACE layout Abiertotests
0xMiden/air-script#421 · 0 comentarios · 1 reacción · 0 asignados ·