Releases

Ingest -> detect -> redact pipeline: image/PDF/text in, redacted image/PDF/text/markdown out

Z3 backend for r2SMT — encodes SSA lifted slices and reports opaque-predicate verdicts.

Thin, audited FFI shim for the Z3 floating-point reinterpret constructors missing from the safe `z3` 0.20 API (BV→FP and signed-int→FP).

Web PKI X.509 Certificate Verification.

Fontspector checks for OpenType font best practices

Fontspector checks for OpenType fonts according to Google Fonts requirements

Ingest -> detect -> redact pipeline: image/PDF/text in, redacted image/PDF/text/markdown out

Generate XML instances from an XML Schema (XSD)

File Parser module

Self-contained embedded CPython runtime with frozen standard-library and project modules

API Gateway module

Data Exploration in the Terminal (library)

A minimal implementation of a reliability protocol on top of UDP for game networking

Convenience pipeline layer — composes encoder + container (+ device capture)

Hardware-accelerated video/audio encoding (OS-native backends)

Hardware-accelerated video/audio decoding (OS-native backends)

Device capture: camera, microphone, screen/window, audio playback + hotplug, with Windows/Linux/Web backends as #[cfg]-gated modules

Rust-native Nix replacement (粋 sui) — drop-in nix CLI with lazy evaluator, bytecode VM, sandboxed builder, content-addressed eval cache, and NATS-federated build agent

Nix language server over sui's own parser and lowering — diagnostics from the same engine that evaluates the file.

L3 lower-once flat IR for the sui evaluator — per source file one Program { exprs, spans } with ExprId(u32) indices, lowered from the rnix/rowan AST exactly once (docs/SPEED.md L3)

Sora Rust SDK

System crate for the Mozilla SpiderMonkey JavaScript engine.

Rust-native Nix replacement (粋 sui) — drop-in nix CLI with lazy evaluator, bytecode VM, sandboxed builder, content-addressed eval cache, and NATS-federated build agent

L3 lower-once flat IR for the sui evaluator — per source file one Program { exprs, spans } with ExprId(u32) indices, lowered from the rnix/rowan AST exactly once (docs/SPEED.md L3)

Nix language server over sui's own parser and lowering — diagnostics from the same engine that evaluates the file.

Service for Verifiable Trust Communities

Soroban contract host environment.

Service for Verifiable Trust Communities

Command line interface and library for interacting with the Quantus Network

Internal headless-browser fallback used by the crawlberg crawler. Not intended for direct use.