kglite-datasets — standalone extraction of kglite's domain dataset loaders (SEC EDGAR / Sodir / Wikidata): fetch public registries and shape them into kglite…
Shared containerd backend core for Kamaji (R592-T1) — OCI runtime-spec building, image/rootfs resolution, and task-status querying live here exactly once so…
Cortiq Decision: typed decisions (choice, score, yes/no) from one CMF file — a native BERT encoder, a hashing contract and certified resonance skills, an…
engenho-substrate-props — proptest property tests for engenho-substrate's typed primitives. Runs the full invariant suite (Plantio topo-sort acyclicity,…
The declaration-level IR the Bynk emitter reads: service protocols, handler kinds, type shapes, store fields, and capability signatures, plus shared AST-walk…
Canonical AI wire types and per-protocol codecs for systemprompt.io AI governance infrastructure. Anthropic, OpenAI Chat, OpenAI Responses and Gemini request,…
The FusionVault transform executor on Apache DataFusion: inline row steps and relational reshapes (join, aggregate, window, union) over Arrow, with the value…
The Kairos host port: one OS thread per task with a strict single-permit handoff, so a task written in C gets a REAL stack on a laptop. The shape FreeRTOS's…
Parse Protocol Buffers .proto IDL (proto2, proto3, edition 2023/2024) into FileDescriptorProto-shaped values, using the tabnas engine and an ABNF grammar
The raft core yubaba is built on: the YubabaState/YubabaRequest state machine, its openraft log store and HTTP network factory, the ClusterPolicy that shapes a…
The file formats of FusionVault Streams: Arrow IPC, Parquet, CSV and JSON lines as one writer/reader shape over the arrow-rs codecs — the format axis of the…
TREX (Token Regular EXpression) is a regex-shaped pattern language over typed tokens, evaluated by derivatives with long-distance binding and no catastrophic…
