Stack-based virtual machine for the Maat programming language
Bytecode code generation for the Maat programming language
Bytecode format and serialization for the Maat virtual machine (MVM)
Runtime value system for the Maat programming language
CPU constraint system (AIR) for the Maat programming language
Tree-walking interpreter and macro expansion engine for the Maat programming language
Compiler error types and diagnostic infrastructure for the Maat programming language
Source span and location types for the Maat compiler
Zero knowledge STARK prover and verifier for the Maat programming language