Releases

A component of the servo web-engine.

PIL2 definitions for the ZisK zkVM

Tiny, no-nonsense, self contained, TensorFlow and ONNX inference

A component of the servo web-engine.

Framework for building extensible network protocol clients via modular plugins.

Terminal SSH manager with YAML inventories, multi-hop jump hosts, Wallix bastion, tunnels, SCP, and Catppuccin TUI

A component of the servo web-engine.

Terminal SSH manager with YAML inventories, multi-hop jump hosts, Wallix bastion, tunnels, SCP, and Catppuccin TUI

OpenGL rendering backend for Slint

Skia based renderer for Slint

HTTPS transport binding for the Trust Tasks framework — typed client + axum-based server with bearer-auth identity, suitable for demos, mockups, and end-to-end testing.

Reference Rust library for the Trust Tasks framework — transport-agnostic, JSON-based descriptions of verifiable work between parties.

Errors that compose, predict, and leave receipts - Compose: algebraic combination (in active development) - Predict: Glass/Severity - Receipts: audit trail, position, checksum - Reflection: Runtime Reflection through TopologySegment (in active development)

A component of the servo web-engine.

A Demonstration for Real-Time Map Matching

A component of the servo web-engine.

A component of the servo web-engine.

A component of the servo web-engine.

Library for interacting with ASIO drivers

A Rust-native programmable browser runtime built on Servo and SpiderMonkey

A Rust-native programmable browser runtime built on Servo and SpiderMonkey

Unified browser control client over CDP — integrates servo (in-memory) and external Chrome (WebSocket), Playwright-style high-level API.

Rust bindings to the Mozilla SpiderMonkey JavaScript engine.

System crate for the Mozilla SpiderMonkey JavaScript engine.

Auto-generated Rust SDK for the Alien Platform API

SpiderMonkey engine wrapper for Bao runtime

SpiderMonkey-backed API compatibility layer replacing bun_jsc

Setup and proving/verifying-key generation for the pil2-stark prover

Witness library, component, and manager traits for the PIL2 proofman framework

PIL2 proof manager: orchestrates witness generation, STARK proving, recursion, and SNARK wrapping