Releases

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)

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

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.1.0 applies the webview's tracked zoom factor visually: the softbuffer compositor samples the rasterized frame with `1/zoom` step so `set_zoom(1.5)` makes each source pixel cover a 1.5x1.5 destination block (zoom in, top-left anchored). Bitmap nearest-neighbour scaling -- crisp re-rasterized text waits on a pipeline-side layout-with-scale-factor pass. The Servo no-AI policy disqualifies upstream contribution; this is the AI-built parallel.

Web UI for RabbitMQ Log Querying Tools

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.0.0 visually applies the webview's tracked `background_color` (the softbuffer compositor now blends over the chosen colour instead of always white) and attaches the webview's cookie jar to net-cat HTTP requests during `navigate(http://...)` (as a single `Cookie: name=value; ...` header). The Servo no-AI policy disqualifies upstream contribution; this is the AI-built parallel.

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. v1.10.0 implements `WebviewDispatch::reparent` by introducing a stable `WebviewId` separate from the parent window id; webview-targeted events carry the webview's id and the handler looks up the current parent window via a `webview_to_window` map, so dispatchers survive a reparent and continue addressing the same webview at its new window. The Servo no-AI policy disqualifies upstream contribution; this is the AI-built parallel.

Virtualization.framework bindings for microvm

Offline PackageURL validator using a prebuilt FST of known packages.