Releases

Composition, semantics, accessibility, and robot test utilities for Cranpose

smix-simctl — xcrun simctl child_process wrapper (outer crate).

Local API server for audiflow preset editor

Opinionated Arora runtime: an engine pre-wired with the native behavior-tree control nodes and the Semio backend.

A typing practice tool using your own code repositories

Bitcoin Commons BLVM: Minimal Bitcoin node implementation using blvm-protocol and blvm-consensus

Flow-driven payload delivery runtime — installers, flashers, and portable modes

Host runtime shim for Greentic runner: config, pack loading, activity handling

Enterprise Agentic Worker runtime — Plan-Act-Observe loop, Redis state, tool dispatch via greentic-ext-runtime

Command-line interface for apcore modules

Complete GPU prover implementation for SP1

Heddle's CLI verb catalog, schemas, help, and recovery contract.

GPU-accelerated LogUp-GKR protocol for SP1

GPU-accelerated zerocheck protocol for SP1

GPU trace generation for jagged/stacked polynomials

GPU helper kernels for jagged polynomial operations

GPU-accelerated BaseFold polynomial commitment protocol

GPU-accelerated Merkle tree commitment scheme

Utility functions for SP1 GPU operations

A documentation site generator powered by euv + euv-ui (Rust/WASM).

Core GPU trace generation for SP1 machines

GPU challenger state management for Fiat-Shamir

High-level Rust API for SP1 GPU operations

SHIORI DLL interface for pasta script engine

Flow-driven payload delivery runtime — installers, flashers, and portable modes

AIR interface for SP1 machines on GPU

The CLI is used for various tasks related to SP1, such as building the toolchain, compiling programs, and tracing programs.

CUDA integration for SP1 GPU proving

Type definitions for the SP1 prover

Compiler for SP1 recursion circuits