GitHub repository: massalabs/air-script
Description: A domain-specific language for writing AIR constraints for STARKs