Releases

A Rust reimplementation of the good parts of matplotlib/pyplot, with first-class wasm support.

Interface for working with Miden projects

Package registry interfaces and dependency resolution for Miden packages

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

A fast, tiny ACP (Agent Client Protocol) adapter for the pi coding agent.

Parsing and semantic analysis of the Miden Assembly language

Algebraic intermediate representation of Miden VM processor

ACE circuit codegen for Plonky3-based Miden AIRs.

Prometheus metrics for batch-aint-one

I got 99 problems, but a batch ain't one

Shikumi (仕組み) — config discovery, hot-reload, and ArcSwap store for Nix-managed desktop apps

A simple SASS/SCSS compiler and CSS parser/minifier.

SSRF defenses and HTTPS guards (RFC-ACDP-0006 §7) for the Agent Context Distribution Protocol (ACDP)

Foundational types and error vocabulary for the Agent Context Distribution Protocol (ACDP)

Miden VM core components

Lossless concrete syntax tree support for the Miden Assembly language

Core source-level debugging information types used throughout the Miden toolchain

Diagnostic infrastructure used in the Miden assembler and VM

Type-safe u32-indexed vector utilities for Miden

Greentic - The digital workers operating system

CLI for MCP progressive loading code generation

no-std compatible locking primitives for the Miden project

Ephemeral SQL index over a local directory

Proc macro to derive enum dispatch trait implementations on miden-core structs

MCP server for progressive loading TypeScript code generation

Greentic - The digital workers operating system

Put It Out There canary fixture. Safe to ignore.

Virtual filesystem for MCP code generation and organization

Type system and utilities for Miden HIR

GUI binance trade program using egui. Do live trading, historic data and simulate trading, plot historic data