Releases

Miden VM processor

Krishiv — hybrid batch and streaming compute engine

Inkhaven — TUI literary work editor for Typst books

High-Level Emulation for classic Macintosh applications

Krishiv — hybrid batch and streaming compute engine

Krishiv — hybrid batch and streaming compute engine

Miden VM core library

Krishiv — hybrid batch and streaming compute engine

Krishiv — hybrid batch and streaming compute engine

Krishiv — hybrid batch and streaming compute engine

Interface for working with Miden projects

Filesystem-backed local package registry for Miden packages

Package registry interfaces and dependency resolution for Miden packages

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

Miden VM assembly language

Parsing and semantic analysis of the Miden Assembly language

Algebraic intermediate representation of Miden VM processor

Lossless concrete syntax tree support for the Miden Assembly language

Formatter for the Miden Assembly language

ACE circuit codegen for Plonky3-based Miden AIRs.

Diagnostic infrastructure used in the Miden assembler and VM

Miden VM core components

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

Type-safe u32-indexed vector utilities for Miden

GaBi Gas process engine for German gas market balancing communication (Gasbilanzierung) — coming soon

no-std compatible locking primitives for the Miden project

Redispatch 2.0 process engine for German grid congestion management (§§ 13, 13a, 14 EnWG)

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

Netzbetreiberwechsel process engine for German energy market DSO concession change (PARTIN-based market location transfer) — coming soon

MABIS process engine for German electricity market balance group accounting (Marktprozesse Bilanzkreisverantwortlicher)