Releases

Z3 SMT translation validation for the Synth compiler

ONNX inference for RLX — native compile by default, optional ORT fallback

ONNX op-level conformance tests (ORT reference vs RLX import/execute)

Idiomatic Rust bindings for Apple's on-device Foundation Models framework

Raw FFI bindings to Apple's FoundationModels framework via the FoundationModelsCBindings Swift bridge

ONNX → RLX HIR import (bundle loader, ONNX protobuf, op lowering)

NER, coreference resolution, relation extraction, PII detection, and zero-shot entity types

PMAT - Zero-config AI context generation and code quality toolkit (CLI, MCP, HTTP)

MLX backend for RLX — Apple's array framework via hand-rolled C++ shim, eager + lazy execution

Submit Forma <https://joinforma.com> benefit claims from the command line, with support for AI-powered receipt analysis via OpenAI or GitHub Models

Batteries-included terminal-based agent built on top of the microagents framework

System crate for the Mozilla SpiderMonkey JavaScript engine.

Wasm client

Test backend for the Odra smart contracts.

Odra test environment for the Casper Blockchain.

QR code encoder in Rust，Generate QR Code matrices and images in RAW, PNG and SVG formats.

Self-describing sparse tensor data format for atomistic machine learning and beyond

Bindings to the metatensor C library

Reference implementation for World ID clients.

Reference implementation for the World ID Protocol. Core functionality to use a World ID.

Encrypted on-device storage primitives for WalletKit (SQLCipher wrapper, vault, content-addressed blobs, key envelope).

Workspace management utilities for Rolldown

QR code encoder in Rust，Generate QR Code matrices and images in RAW, PNG and SVG formats.

Compression logic for Znippy, a parallel chunked compression system.

Core logic and data structures for Znippy, a parallel chunked compression system.

Rust SDK to work with Superposition

Z3 SMT translation validation for the Synth compiler

Core Calimero infrastructure and tools

Bindings between boa-cat (JS engine) and the DOM (html-cat tree) plus fetch (net-cat). v0.6.1 opens DOM mutation: `document.createElement(tag)` allocates a fresh element-shaped Object with the requested tagName and empty fields; `Element.appendChild(child)` mutates the children array in-place and returns the appended child. Both compose with the existing `extract_document` back-prop so newly-created and newly-appended nodes reach layout / paint on the next eval pass. Seventh sub-crate of a Servo-replacement webview runtime targeting Tauri.

Core Calimero infrastructure and tools