Pinned Loading

1. rumil-dart rumil-dart Public

   Parser combinators for Dart. Typed errors, left recursion, stack-safe. Sealed ADT, format parsers, expression evaluator, binary codec.

   Dart

2. lambe lambe Public

   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.

   Dart 1

3. valar valar Public

   Type-safe validation library for Scala 3 with automatic case class derivation

   Scala 2

4. doxa doxa Public

   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.

   Dart