Hindley-Milner type inference engine for the Maat programming language
Core type vocabulary for the MAAT engine — newtypes, events, traits-as-data, blueprints. Layer 2 of the architecture: a leaf crate with no maat-* dependencies.
Core SDK for the MAAT engine — behavioural traits, events, entity store, typed IDs, testing utilities.
Unified façade crate for the MAAT virtual-tabletop engine — the single entry point for plugin and capability authors. Depends on every Layer-2 sub-crate and re-exports a curated prelude.
Network wire protocol for the MAAT engine — postcard frame definitions for client/server communication. Capability-agnostic; capability-specific frames live in their respective capability crates.
Source span and location types for the Maat compiler
Compiler error types and diagnostic infrastructure for the Maat programming language
JournalCapability — typed rich-text journal entries, refactored from the 0.5.0 MVP into the UC-03 Capability framework.
Finite field arithmetic and value-to-field encoding for the Maat programming language
The Maat programming language -- Rust-native syntax for writing zero-knowledge proofs
Combinator-based parser for the Maat programming language
Abstract syntax tree (AST) for the Maat programming language