Karyos
ALPHABrokerless messaging transport for trading systems.
A low-latency messaging transport written in Rust. Applications publish and subscribe to message streams through log buffers in shared memory, managed by a media driver that runs embedded in the process or as a separate one. Correctness under pauses, crashes and concurrent writers comes first: it is checked with model checking, Miri and a deterministic simulator, unsafe code is confined to the two lowest crates, and the default build compiles no C.
Who it is forExchange and trading teams moving messages between processes on one machine.
Shared-memory log buffers
Publication and subscription over log buffers, with no broker process in the data path.
Driver where you want it
The media driver runs embedded in the application on every platform, or as a separate process admitting clients over a Unix socket on Linux.
Concurrency you can check
Model checking, Miri and a deterministic simulator run in CI, alongside a benchmark harness, trace records and latency histograms.
0.1.0-alpha.1 is an early alpha for evaluation, not for production: APIs, wire formats and shared-memory layouts change without notice, and no latency figure is claimed for it yet.