Releases

Pure-Rust Metal GPU compute library for MLX-compatible inference on Apple Silicon

Bare metal APIs for the Origen SDK

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