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.
Full RISC-V Linux VM in WASM booting in under a second is genuinely wild.
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.