Pinned Loading

1. eru eru Public

   Eru: A pragmatic and ergonomic effect system for Scala 3, built for correctness, performance, and developer experience.

   Scala

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. rumil-dart rumil-dart Public

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

   Dart 1

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

5. eru-http eru-http Public

   Standards-compliant HTTP client and server built on the Eru effects system

   Scala

6. rumil rumil Public

   Rumil - Functional Parser Combinator Library for Scala 3

   Scala