The language virtual machine of the EfterScript interpreter, compatible with the PostScript language: scanner, object model, stacks, save/restore, resources,…
The alchemy grammar plugin and language for the tabnas parsing engine (declarative streaming transducers and renderers), and the types tabnas transducers and…
Canonical AI wire types and per-protocol codecs for systemprompt.io AI governance infrastructure. Anthropic, OpenAI Chat, OpenAI Responses and Gemini request,…
The runtime that programs written in Varyk, a language for backend services that compiles to Rust, call into: errors, JSON, configuration, logging, time, ids,…
Pure-Rust Aave V3 domain crate: the updater chunk-loop (transactional apply of decoded Aave events under one rusqlite Transaction) + the position-analysis math…
The compiled wickra-zk guest program: the RISC-V ELF the prover runs and the image id the verifier pins, committed alongside the source that produces them.
The EfterScript distillation engine: runs a program compatible with the PostScript language, captures its marking operations, applies the distillation…