A declarative specification language for human-agent collaboration. Define what and what constraints, not how. Built with Rust + PEG grammar (pest). 🤖 Co-developed with Claude (Anthropic).
programming-language rust parser dsl ast intermediate-representation formal-verification pest semantic-analysis specification-language type-checker design-by-contract declarative-programming ai-collaboration human-agent-collaboration peg-grammar
-
Updated
Mar 9, 2026 - Rust