Releases

Compiler for SP1 recursion circuits

Recursion circuit for SP1 proof aggregation

Dawkey's MCP server: tools for Claude and for the test harness

Dawkey's Wayland window: client-side decorations, input, fractional scaling, wgpu surface

Dawkey's application: views, UI actions, and the App state shared by the GUI and MCP

API bindings for the Nominal platform

Client SDK for pb-mapper: reach private TCP/UDP services through a relay, or end to end with opt-in direct QUIC and relay fallback

Register, connect, status, and admin client implementation for pb-mapper

Run prediction functions in your Rust apps.

Relay server implementation for pb-mapper

Message framing and authenticated sessions for pb-mapper

A running Dawkey instance: session, decoded media, engine and audio backend

SHIORI DLL interface for pasta script engine

Native bindings to the Haybarn engine (a derived distribution of DuckDB, powered by DuckDB), C API

An actor-first distributed database

Flow-driven payload delivery runtime — installers, flashers, and portable modes

Dawkey's PipeWire audio backend (a pw_filter node)

Implements the MAVLink data interchange format for UAVs.

Rust bindings generator for wRPC.

OpenID Connect relying-party layer on top of openidconnect: JWKS cache and key rules, ID-token checks, back-channel logout tokens, end-session URLs, revocation

A rust library for managing automerge documents, compatible with the js automerge-repo library

The single business-facing facade for Saddle applications

HTTP client for Zitadel IdP built by Famedly

RDF and Knowledge Graphs processing tool

RDF and Knowledge Graphs processing tool

RDF and Knowledge Graphs processing tool

Prototype for PG-SChema with property constraints

Saddle 0.3 ProfuseContract unary boundary transport

High-performance DeFi route-finding engine — embeddable library and CLI

CCXT – CryptoCurrency eXchange Trading Library (Rust) – pro (WebSocket / watch*) exchanges