Releases

Rust FFI binding to mimalloc

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. v0.1.0 ships the headless pipeline + script driver; tiny-skia/cosmic-text raster, winit window, IPC bridge, and the tauri_runtime::Runtime trait impl are committed-to deliverables for subsequent versions. The Servo no-AI policy disqualifies upstream contribution; this is the AI-built parallel.

Pure Rust implementation of the Module-Lattice-Based Key-Encapsulation Mechanism Standard (formerly known as Kyber) as described in FIPS 203

Post-quantum Hash Functions for lib-Q

Pure Rust implementation of the KangarooTwelve hash function for lib-Q

Pure Rust implementation of the Keccak sponge function including the keccak-f and keccak-p variants for lib-Q

High-performance Rust implementation providing advanced data structures and compression algorithms with memory safety guarantees. Features LRU page cache, sophisticated caching layer, fiber-based concurrency, real-time compression, secure memory pools, SIMD optimizations, and complete C FFI for migration from C++.

egui-based preferences window for Vernier, the native pixel-measurement screen overlay.

Platform abstraction and native overlay backends (macOS, Linux/Wayland) for Vernier.

egui-based preferences window for Vernier, the native pixel-measurement screen overlay.

Platform abstraction and native overlay backends (macOS, Linux/Wayland) for Vernier.

An office suite for AI agents: kanban, wiki, files, messaging, and a GORBIE-backed viewer — all persisted in a TribleSpace pile.

Telegram HTML and Markdown entity parsers for ferogram

A no_std collection of compression algorithms behind a uniform streaming trait, gated per-algorithm by Cargo features.

Tools for minor planets researchers: observation scheduling and planning

Z3 SMT translation validation for the Synth compiler

Ordinary CLI

Project manipulation tool for Ordinary

A robust TPTP parser for Rust using winnow

coreutils ~ GNU coreutils (updated); implemented as universal (cross-platform) utils, written in Rust

Ordinary CLI

Project manipulation tool for Ordinary

API server for Ordinary

Project manipulation tool for Ordinary

OmniPaxos-backed ConsensusDriver for tsoracle

Reusable OmniPaxos glue: RocksDB storage, lifecycle helpers, test fakes

Z3 SMT translation validation for the Synth compiler

A transactional relational-graph-vector database using Datalog — a maintained fork of CozoDB, tuned as a substrate for agentic memory

Reusable TUI primitives and session API for VT Code-style terminal interfaces

Shared theme registry and runtime state for VT Code UI crates