Releases

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

Guest runtime and entrypoint for programs targeting the ZisK zkVM

Recursive proof aggregation layer for the ZisK zkVM

PIL2 definitions for the ZisK zkVM

Proof verifier for the ZisK zkVM proofs

Ruda neural network layers, activation modules and losses.

Ruda optimizer updates, gradient state, clipping and learning-rate schedules.

Sora Rust SDK

CPU driver backend for Ruda

Rust SDK for Lumera chain + Cascade/sn-api workflows

Pure Rust CLI for converting HuggingFace models to hardware-optimized formats and serving them over an OpenAI-compatible API on Apple Silicon

fedimintd daemon for Fedimint

A minimalist ORM framework that supports SQLite, PostgreSQL, MySQL, and SqlServer

`microsandbox` is the core library for the microsandbox project.

CLI binary for managing microsandbox environments.

Runtime library for the microsandbox sandbox process and microVM entry points.

Filesystem backends and guest filesystem support for microsandbox.

An autonomous agentic engineering system that manages software development through role separation, subagents, and deterministic diagnostics.

CPU driver backend for Ruda

fedimint-testing provides a library of shared objects and utilities for testing fedimint components

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

Transactional materialized views with incremental refresh for PostgreSQL

Native tish test runner, expect, and Node-compatible assert

no_std runtime facade for Tish compiled output on the Game Boy Advance (agb)

CPU driver backend for Ruda

Agents engine for Anda -- an AI agent framework built with Rust, powered by ICP and TEEs.

Fedimint client CLI interface

fedimint-testing provides a basic utils for testing fedimint components

Rust SDK for programmatic control of the GitHub Copilot CLI via JSON-RPC.

JSON-RPC stdio server for Meerkat