Lispex is a macro-free R7RS-small Scheme profile built around deterministic evaluation, a Rust reference interpreter, and inspectable execution evidence.
At a glance
LISPEX
(map (lambda (n) (* n 10)) (filter even? (list 1 2 3 4 5 6)))Result
OUTPUT
(20 40 60)Current guarantees
- The current executable profile pins evaluation order, numeric rendering, diagnostics, control transfer, and resource behavior instead of inheriting host defaults.
- Native CLI is the reference interpreter. npm, public WASM, and the Playground use the same Rust implementation lineage.
- The manual separates language guarantees from Vouch receipt and Bridge artifact checks.
Boundaries
- Lispex does not claim complete R7RS coverage, backend independence, or proof of semantic equivalence.
- The current product is an interpreter, not a target-emitting compiler.