Releases

Ruda collective communication algorithms and orchestration.

Client-side helper library for redacting sensitive data from MCP responses

Tree-sitter grammar for Ruby (sqry fork)

Compose agents into a graph over oneharness/onejudge and merge their outputs into one event stream.

Miden VM processor

sqryd daemon client library: shim-mode (connect_shim + pump_stdio) and management (DaemonClient + JSON-RPC).

Miden VM prover

Miden VM execution verifier

sqryd daemon wire types + framing codec (leaf crate, no sqry-* deps).

Verifier for Miden VM precompile proofs

Prover-side precompile implementations for the Miden VM deferred framework

Miden VM assembly language

Interface for working with Miden projects

Filesystem-backed local package registry for Miden packages

Ruda ROCm HIP tensor device adapter.

AIR and shared proof setup for Miden VM precompiles

A library for number theory, providing implementations for arithmetic in various rings and algorithms working on them.

Salsa-style incremental computation engine for sqry semantic code search

Package registry interfaces and dependency resolution for Miden packages

Build-time MASM code generation support for miden-core-lib

Package containing a compiled Miden MAST artifact with declared dependencies and exports

Parsing and semantic analysis of the Miden Assembly language

Algebraic intermediate representation of Miden VM processor

Formatter for the Miden Assembly language

Concrete precompile implementations for the Miden VM deferred framework

ACE circuit codegen for Plonky3-based Miden AIRs.

Lossless concrete syntax tree support for the Miden Assembly language

Constraint compiler for Plonky3-based Miden AIRs.

Diagnostic infrastructure used in the Miden assembler and VM

Miden VM core components