A virtual machine in the Rust type system
Rust type system executes a compile-time VM using trait resolution and associated types.
A Dis virtual machine and Limbo compiler in Rust 🦀
Full Dis VM runtime in Rust with GC and concurrency—rare craft, tiny audience.
Systems programmers, OS enthusiasts, Inferno OS researchers
Inferno OS · Plan 9
I've made a Dis virtual machine and Limbo programming language compiler (called RiceVM) in Rust. It can run Dis bytecode (for example, Inferno OS applications), compile Limbo programs, and includes a fairly complete runtime with garbage collection, concurrency features, and many of the standard modules from Inferno OS's original implementation.
The project is still in an early stage, but if you're interested in learning more about RiceVM or trying it out, you can check out the links below:
Project's GitHub repo: https://github.com/habedi/ricevm
RiceVM documentation: https://habedi.github.io/ricevm/
Rust type system executes a compile-time VM using trait resolution and associated types.
Compile-time generated scheduler beats manual match-loop-state hell for complex state machines.
Fixed-point rule evaluation as a procedural macro; compiles to zero-overhead Rust, not a VM.
Single-file VMs with network allow-listing beat Docker daemon complexity for simple sandboxing.
Full RISC-V Linux VM in WASM booting in under a second is genuinely wild.
Formal verification for LLM workflows—CTL model checking, Z3 proofs, zero hallucination math.