Releases

Peat Coordination Protocol — hierarchical capability composition over CRDTs for heterogeneous mesh networks

Typed multiplexed client for the sui graph-server protocol. Connects to a UDS, sends typed requests, dispatches typed responses by RequestId. Reusable by sui CLI, tend, future ops tools.

Async frame codec for the rkyv-over-UDS local protocol. Reads/writes `[magic 4B][len u32 LE][rkyv body]` over any tokio AsyncRead+AsyncWrite. Reusable by server, client, tests, future tools.

Peat mesh networking library with CRDT sync, transport security, and topology management

Single source of truth for every wire type in the sui system: rkyv-over-UDS for daemon ↔ local CLI (zero-copy hot path), tonic + protobuf for cross-host (REAPI-shaped for fleet work-stealing, tvix-castore-shaped for substituter), async-nats for fleet pub/sub. Drift between client and daemon is a compile error.

Z3 SMT translation validation for the Synth compiler

oxi AI agent SDK — build isolated, multi-agent AI systems

Agent runtime with tool-calling loop for AI coding assistants

Sub-millisecond code search via sparse trigram indexing.

A simple cli tool to get quotes in your terminal using WikiQuotes

Z3 SMT translation validation for the Synth compiler

Bindings between boa-cat (JS engine) and the DOM (html-cat tree) plus fetch (net-cat). Exposes `document`, `Element` methods, and `fetch` as boa-cat NativeFns so scripts can read/mutate a parsed HTML document and make synchronous HTTP requests. No mut, no Rc/Arc, no interior mutability, no panics. Seventh sub-crate of a Servo-replacement webview runtime targeting Tauri.

Z3 SMT translation validation for the Synth compiler

CLI binary for managing microsandbox environments.

`microsandbox` is the core library for the microsandbox project.

Runtime library for the microsandbox sandbox process and microVM entry points.

Weight-based backtesting engine for quantitative trading

A CLI for killing processes by PID, name, or port.

Filesystem backends and guest filesystem support for microsandbox.

Z3 SMT translation validation for the Synth compiler

A no_std collection of compression algorithms behind a uniform streaming trait, gated per-algorithm by Cargo features.

Native LaTeX math widget for Iced 0.14 — pure Rust, zero JS

A no_std collection of compression algorithms behind a uniform streaming trait, gated per-algorithm by Cargo features.

Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs

Live web UI over a running atomr system — REST + WebSocket + embedded React SPA, Prometheus / OTLP exporters.

Fast, lightweight PDF and document parsing with spatial text extraction

YAML-driven scenario engine for Rust RPA: branching, loops, retry, and sub-scenarios

Built-in node library for Rust RPA: image matching, clipboard, Excel, HTTP, scheduling, and more

Z3 SMT translation validation for the Synth compiler

Unified backend trait abstracting local, RDP, and VNC desktop automation targets