Featured Personal Projects
valar
Type-safe validation library for Scala 3 with automatic case class derivation
lambe
Total, multi-format query language for structured data (JSON, YAML, TOML, HCL, CSV, XML, Markdown). Sub-Turing by design with guaranteed termination. CLI, Dart library, and MCP server.
fin
Finë is a simple, GTK4-based session transition tool for Linux desktops—built in Rust with a functional, modular design.
doxa
Dependently typed proof checker for the Calculus of Inductive Constructions. ML-family surface syntax, stack-safe normalization-by-evaluation kernel, parser built on rumil. Runs in the browser.
rumil-dart
Parser combinators for Dart. Typed errors, left recursion, stack-safe. Sealed ADT, format parsers, expression evaluator, binary codec.
spore-print (Fungal)
A Rust library providing a SporePrint trait and derive macro for immutable string representations.
