Miden VM is a zero-knowledge virtual machine written in Rust. For any program executed on Miden VM, a STARK-based proof of execution is automatically generated. This proof can then be used by anyone to verify that the program was executed correctly without the need for re-executing the program or even knowing the contents of the program.
Vercel Sandbox
Vercel Sandbox allows you to run arbitrary code in isolated, ephemeral Linux VMs.
The Topos of Programming | Yon
A topos-oriented programming language. Native via MLIR and LLVM, with a content-addressed heap on the Leech lattice.
The Rust Programming Language - The Rust Programming Language
by Steve Klabnik, Carol Nichols, and Chris Krycho, with contributions from the Rust Community
Xous: A Pure-Rust Rethink of the Embedded Operating System
Xous is a message-passing microkernel implemented in pure Rust, targeting secure embedded applications. This talk covers three novel aspe...
reinterpretcat/qwen3-rs
An educational Rust project for exporting and running inference on Qwen3 LLM family
Rust Programming Language
A language empowering everyone to build reliable and efficient software.
Pretty State Machine Patterns in Rust
A computer scientist working in open source towards a more hopeful future.
smol-machines/smolvm
An embeddable, portable, branchable virtual machine to safely run Agents locally.
Hello World - Rust By Example
Rust by Example (RBE) is a collection of runnable examples that illustrate various Rust concepts and standard libraries.
Introduction - Rust By Example
Rust by Example (RBE) is a collection of runnable examples that illustrate various Rust concepts and standard libraries.
xymostech/XymosTeX
A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface
Announcing Rust 1.96.1 | Rust Blog
Empowering everyone to build reliable and efficient software.
Quint, an executable specification language for reliable systems
Quint is an executable specification language. Write specs you can run, simulate, and verify, so subtle bugs get caught before reaching production.
Reproducible Execution Environment (REE) | Tech | Gensyn
Run AI model inference in a machine-agnostic environment where the same model and inputs produce the same outputs across supported hardware.
