SpaceDB Layer 2 (hot path) — live convergence between replicas: the anti-entropy sync protocol over a Transport seam, with an in-process transport (and…
A lightweight, high-performance localization library for Rust. Loads TOML language files, supports runtime locale switching, configurable paths, and automatic…
Graphical window & screen picker for wlroots screencast portals (xdg-desktop-portal-wlr), with the wlr-switcher Alt-Tab/exposé and their wlr-overlayd daemon
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…
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 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 Cortex-M port: critical sections, the yield, the tick, stack initialisation and the PendSV context switch. One of the two crates in the family…