8.2. Example Diagram Gallery¶

This gallery maps every committed VMx example app. Each diagram depicts the same three elements: the host and adapter boundary, the VMx-owned application state, and the verification/modeling rule.

8.2.1. C#¶

8.2.1.1. C# Console HelloVMx¶

C# Console HelloVMx Example

HTML · SVG · PNG

8.2.1.2. C# WPF Todo App¶

C# WPF Todo App Example

HTML · SVG · PNG

8.2.1.3. C# Avalonia Notes Showcase¶

C# Avalonia Notes Showcase Example

HTML · SVG · PNG

8.2.2. Python¶

8.2.2.1. Python Console hello_vmx¶

Python Console hello_vmx Example

HTML · SVG · PNG

8.2.2.2. Python tkinter Todo App¶

Python tkinter Todo App Example

HTML · SVG · PNG

8.2.2.3. Python Textual Inspector¶

Python Textual Inspector Example

HTML · SVG · PNG

8.2.2.4. Python Textual Notes Showcase¶

Python Textual Notes Showcase Example

HTML · SVG · PNG

8.2.3. TypeScript¶

8.2.3.1. TypeScript Console hello-vmx¶

TypeScript Console hello-vmx Example

HTML · SVG · PNG

8.2.3.2. TypeScript React Notes Showcase¶

TypeScript React Notes Showcase Example

HTML · SVG · PNG

8.2.4. Swift¶

8.2.4.1. Swift Notes Showcase¶

Swift Notes Showcase Example

HTML · SVG · PNG

8.2.5. Rust¶

8.2.5.1. Rust Console hello-vmx¶

Rust Console hello-vmx Example

HTML · SVG · PNG

8.2.5.2. Rust TUI Notes Showcase¶

Rust TUI Notes Showcase VM Layer

HTML · SVG · PNG