Releases

Certora Verification Language for Rust

Fixed point numbers over Certora native integers

Path safety helpers and canonical tool side-effect classification

Macro to inject code at a function call

Macro to convert ? to unwrap

Derive macros for CVLR

Procedural macros for oxcache

Logging in Certora Calltrace

Decimal numbers over Certora native integers

Avro IDL compiler that turns .avdl into .avpr and .avsc JSON files

Approximate string matching using SIMD

Append-only durable queue substrate for daemon execution

Pluggable channel and messaging primitives for OpenHuman harness communication.

Macros used by gpui

An Apple/Linux/Android runtime instrumentation and inline hooking crate for aarch64 and x86_64.

A high-performance Minecraft server proxy written in Rust.

A UI-agnostic, Android-style activity and routing stack manager for Rust. / 一个无 UI 框架依赖的通用 Android 风格页面与路由堆栈管理框架。

The algorithmic information theory library.

Rust client library for Hindclaw access control API

Budget, retry, fanout, and stop-rule guards for agent execution

prani — Creature and animal vocal synthesis: species-specific voice models, call patterns, non-human vocal tracts

Audioface

Simplistic rate limiter

Number library backed by Certora native integers

Non-deterministic (i.e., symbolic) values

Asserts and assumes for post- and pre-conditions

Grep your documents with context — fast offline search for PDFs, DOCX, Markdown and code

Missing pieces of the Rust standard library.

MCP server for generating ASO-optimized App Store screenshots

A lightweight HTTP client for ordinals server and runes utility