Compiler error types and diagnostic infrastructure for the Maat programming language
Source span and location types for the Maat compiler
Combinator-based parser for the Maat programming language
Hindley-Milner type inference engine for the Maat programming language
Zero knowledge STARK prover and verifier for the Maat programming language
The Maat programming language -- Rust-native syntax for writing zero-knowledge proofs
Extract implicit knowledge from git commit history -- ownership, coupling, decay, churn, and project health