A domain-specific language for writing AIR constraints for STARKs - View it on GitHub