The declaration-level IR the Bynk emitter reads: service protocols, handler kinds, type shapes, store fields, and capability signatures, plus shared AST-walk…
A memory-safe, embeddable interpreter compatible with the PostScript language, whose primary output is PDF: the distillation entry points and the session job…
Command-line tool of EfterScript, an interpreter compatible with the PostScript language: runs a program, dumps the captured vector operations, or distils it…
The alchemy grammar plugin and language for the tabnas parsing engine (declarative streaming transducers and renderers), and the types tabnas transducers and…
The script! orchestration language for lgwks_bot: indented, Python/AppleScript-like flows that expand to bounded, deadline-carrying, tenant-keyed async Rust…
The runtime that programs written in Varyk, a language for backend services that compiles to Rust, call into: errors, JSON, configuration, logging, and the…
The language-neutral lungo pipeline: builds a Lake project and analyses its compiled program. An internal part of lungo: depend on `lungo` and `lungo-build`.
The rules for reading text that Raoh and Souther share: Unicode 18.0.0 case conversion and normalization, White_Space, order and length in scalar values,…
The shared foundation of the FerroBRIDGE mapping languages: the common header model, the YAML loader, the mapping registry, the diagnostic model, and openEHR…