Rs: Safer, Faster, Field-First Rust > *Rust treats bytes as machine integers. Rs treats bytes as elements of F_p. This single shift makes determinism, addressing, and bounded computation natural rather than enforced.* Rs is a minimal, strict superset of Rust for building systems where every byte is…

rs

Rust with everything dynamically-sized removed. no heap. no `Vec`. no `String`. no unbounded recursion. every value has a known size at compile time. every loop has a known bound the hidden truth: every `u64` in Rs is secretly a `word` — type tag 0x01 — which is secretly a field element with a…

rs

rs

rs

rs

inf/rs — the inf engine the Rust implementation of inf, written from scratch per .claude/plans/stage3-engine.md. the core language is complete and tested; the nox lowering reaches stage 3 for the expression layer. cozo/ is the gitignored study/oracle fork (excluded from this workspace). crates |…

rs

rs

rs

rs

rs

rs

rs

rs

rs

rs

rs