GitHub repository: 0xMiden/air-script
Primary language: Rust
Description: A domain-specific language for writing AIR constraints for STARKs