minirust/minirust resource

Health v2 · maintenance only

Flags: no_releases

Adoption not part of the score

1008 stars · 56 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

MiniRust is a precise, executable specification of a MIR-like 'core language' for Rust, defining its operational semantics including evaluation order, data representation, and undefined behavior. The spec is written as an interpreter in a Rust-like pseudo-code language called specr lang.

Use cases

• understand Rust's precise operational semantics
• study what counts as undefined behavior in Rust
• research formal memory models for Rust
• build tools that need a normative Rust semantics reference
• learn how MIR-like core languages are specified

When to choose

• you need a precise, normative reference for Rust program behavior
• you are doing research on Rust semantics or memory models
• you want an executable specification rather than prose

When to avoid

• you want to compile or run actual Rust programs
• you need a production Rust toolchain or compiler
• you expect type-safe language guarantees - MiniRust is deliberately not type-safe

Facets

learning-resource · maturity active

interpreter programming-language programming-languages compilers rust cross-platform rust-semantics mir formal-specification undefined-behavior memory-model specr-lang specification algorithms

Member repositories

For agents

markdown · JSON · MCP: product_card(name="minirust/minirust")