Lispex is a macro-free R7RS-small Scheme profile with deterministic evaluation, a Rust reference interpreter, bounded LIL/LIT execution paths, and inspectable 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.
- Lispex also exposes bounded LIL and LIT execution paths: LIL is a Lispex-written hosted interpreter, while LIT is a Topaz-written transliteration of the pinned Lispex profile.
- 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.