A virtual machine in the Rust type system
Rust type system executes a compile-time VM using trait resolution and associated types.
Minimalist, dependency-free virtual machine sandbox for microcontrollers and other resource-constrained devices. Single C file, no dynamic memory allocations, asynchronous design, pure C99
GDB stub on a 3KB embedded VM — debug bytecode on STM32 without leaving your workflow.
Embedded developers, firmware engineers, microcontroller programmers
Lua · MicroPython · Duktape
Rust type system executes a compile-time VM using trait resolution and associated types.
Single-file VMs with network allow-listing beat Docker daemon complexity for simple sandboxing.
Real Linux VM in your phone browser—runs Codex, SSH, Kubernetes, offline compute.
Full Dis VM runtime in Rust with GC and concurrency—rare craft, tiny audience.
Manually converting PyTorch models to CoreML so you don't have to call cloud APIs.
Declarative TOML templates for VMs is a clever take on NixOS reproducibility.