Releases

Miden node's state store component

Lazy query engine for the Polars DataFrame library

Lazy query engine for the Polars DataFrame library

Z3 SMT translation validation for the Synth compiler

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

Rust bindings for Tashi Vertex, an embedded BFT consensus engine based on Hashgraph.

Praxis — agent-native Unix tools. Single binary replacing grep, cat, find, sed, diff for AI coding agents.

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

rust mir static analysis

Analysis orchestration for mirsa

Unsafe API contracts for mirsa

Abstract interpretation domains for mirsa

Relation domains for mirsa analyses

Generic analysis framework for mirsa

A utility crate for compiling Sierra code into Cairo native.

Speedily search and merge log messages by datetime. DateTime filters may be passed to narrow the search. s4 aims to be very fast.

Universal LLM API client with Rust-powered polyglot bindings.

Support crate for super-speedy-syslog-searcher. Compile-time implementation of datetime regexes.

CLI for the Harn programming language — run, test, REPL, format, and lint

Unsafe API contracts for mirsa

Abstract interpretation domains for mirsa

Relation domains for mirsa analyses

Generic analysis framework for mirsa

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

Servo-replacement runtime for Tauri: wires html-cat, css-cat, dom-cat, layout-cat, paint-cat, net-cat, boa-cat, ecma-runtime-cat, and web-api-cat into a single rendering + scripting pipeline. v2.3.0 upgrades the zoom compositor from nearest-neighbour to bilinear sampling: each destination pixel weights four surrounding source pixels by `(1 - x_frac)`, `x_frac`, `(1 - y_frac)`, `y_frac`, smoothing edges at non-integer zoom factors. Crisp glyph re-rasterization at zoom waits on a layout-cat font-scale parameter (deferred). The Servo no-AI policy disqualifies upstream contribution; this is the AI-built parallel.

Rust bindings for libwebrtc

Servo-replacement runtime for Tauri: wires html-cat, css-cat, dom-cat, layout-cat, paint-cat, net-cat, boa-cat, ecma-runtime-cat, and web-api-cat into a single rendering + scripting pipeline. v2.2.0 closes the cookie loop: `http://` navigates now parse `Set-Cookie` response headers and merge them into the webview's jar (replace-by-name semantics), so a navigation that sets a cookie persists for the next request without the host having to call `set_cookie` from Rust. The Servo no-AI policy disqualifies upstream contribution; this is the AI-built parallel.

OpenAPI Forge plugin author SDK (wasm32-wasip2 only)

OpenAPI Forge plugin author SDK (wasm32-wasip2 only)

OpenAPI Forge plugin author SDK (wasm32-wasip2 only)