Releases

Embedded JavaScript engine: Deno runtime with Node compatibility over the app's node_modules

ZisK Coordinator gRPC types (generated from proto)

Binary operations state machine for the ZisK zkVM

Shared memory-handling types for ZisK state machines

Dev server: on-demand compile over HTTP, WebSocket HMR channel, file watcher

Shared ELF-to-ROM transpilation utilities for the ZisK zkVM

Shared types and utilities for the ZisK distributed proving cluster

Common utilities and shared types for the ZisK zkVM

Frequent-operations state machine for the ZisK zkVM

RISC-V instruction structures and parser for the ZisK zkVM

Core types and proving primitives for the ZisK zkVM

Recursive proof aggregation layer for the ZisK zkVM

Guest runtime and entrypoint for programs targeting the ZisK zkVM

Guest runtime and entrypoint for programs targeting the ZisK zkVM with the hints feature enabled

Proof verifier for the ZisK zkVM proofs

Fork of deno_napi 0.190.0 maintained for oj, carrying oj's finalizer-registry performance patch (Vec -> BTreeMap). Use upstream deno_napi unless you need this patch.

Fork of deno_runtime 0.267.0 maintained for oj, swapping deno_napi for oj_deno_napi (finalizer-registry performance patch). Use upstream deno_runtime unless you need this patch.

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)