Releases

Win32 backend for winio.

Qt backend for winio.

UI Kit backend for winio.

Precondition checking and action validation for Common Agent Runtime

AppKit backend for winio.

Common code shared between AppKit and UIKit backends for winio.

Consumer client (RegistryClient, VerifiedContext, CrossRegistryResolver) for the Agent Context Distribution Protocol (ACDP)

Policy engine for Common Agent Runtime

Contract manifest types, validation, and digest utilities for Trellis.

find identical files according to their size and hashing algorithm

Local model inference for CAR — Candle backend with Qwen3 models

Mobile bindings for Lumina node

Windows common methods for winio.

Android backend for winio.

Parallel AI Worktrees — orchestrate multiple AI coding CLI sessions across git worktrees

Browser compatibility layer for the Lumina node

Celestia client combining RPC and gRPC functionality.

Bitcoin Commons BLVM: Minimal Bitcoin node implementation using blvm-protocol and blvm-consensus

RISC-V encoder, ELF builder, PMP allocator, and bare-metal startup for synth

Client library for the Celestia Fibre data availability protocol

Kinetics is a hosting platform for Rust applications that allows you to deploy all types of workloads by writing **only Rust code**.

OpenAPI Forge plugin author SDK (wasm32-wasip2 only)

Wasker backend integration for the Synth compiler

aWsm backend integration for the Synth compiler

ARM encoder, ELF builder, vector table, linker scripts, and MPU configuration

A client for interacting with Celestia validator nodes gRPC

WASM-to-ARM instruction selection and peephole optimizer

WASM/WAT parser and module decoder frontend for the Synth compiler

Reed-Solomon erasure coding with Merkle commitments and Random Linear Combinations

Formal verification for Agent IR — the novel contribution