SouperSport
Explicit, deterministic execution semantics.
Status: SouperSport V1 released
SouperSport is a research‑driven programming language focused on predictable execution, explicit state transitions, and verifiable computation.
The project emphasizes semantic correctness and long‑term interpretability over convenience, implicit behavior, or best‑effort execution.
Design Principles
- Explicitness over inference — execution behavior is declared, not guessed.
- Determinism as a semantic property — identical inputs and state produce identical results and traces.
- Refusal over ambiguity — illegal or underspecified programs are rejected, not approximated.
- Traceability as meaning — execution traces are first‑class semantic artifacts.
- Deliberate scope — SouperSport does not attempt to model all forms of computation.
Canonical Source of Truth
This website provides an overview and entry point. The authoritative specifications, design history, and releases live in the canonical GitHub repository:
https://github.com/SouperSport/soupersport
All normative definitions and semantic guarantees originate there.