Dead-man memory escrow: Shamir-split secrets across owned custodians with signed shards, quorum or timed recovery, and recovery certificates — named for the…
A streaming output firewall: Aho-Corasick pattern kill on the token stream as text forms, structural-form evasion checks, and in-place PII redaction — named…
The renderer-agnostic half of the make-family design system: what a thing IS, named as intents and relationships and never as values. Colour defers to…
Proof that an AI coding agent's work is done: each requirement has a test that failed first, was not changed, and passes. In development; this release holds…
Pre-release (beta). Narrow asynchronous NETCONF client for Junos: RFC 6241/6242 framing, a pluggable transport, a default-deny configuration filter with read…
The Kairos Cortex-M port: critical sections, the yield, the tick, stack initialisation and the PendSV context switch. One of the two crates in the family…
The Kairos Xtensa port: the windowed-ABI context switch and stack initialisation for ESP32 / ESP32-S3. One of the crates in the family allowed a fenced…
The Kairos RISC-V port: critical sections, the yield, stack initialisation and the machine-software-interrupt context switch for RV32. One of the crates in the…
The FreeRTOS ports remade in Rust: the deterministic sim port (the oracle harness), the Posix host port, and the Cortex-M, RISC-V and Xtensa ports — the only…