Case corpus

Every verified EML case

Real, runnable programs — each one transpiled, executed, and checked against real Python before it lands here. Generated directly from the source repository, so this list and the machine-readable corpus never drift apart.

000-arithmetic

Arithmetic & augmented assign

Demonstrates the two-stage `^+` rule (declare then augment) and `^*` / `^0`.

Run in Playground →Open in Terminal →
001-summation

Summation (Σ) over an inclusive range

The canonical EML demo: an algebraic-sum intent compressed into one symbol.

Run in Playground →Open in Terminal →
002-conditional

Conditional & membership

Ternary `?:` and inclusive-range membership (`in [1:100]` → `range(1, 101)`).

Run in Playground →Open in Terminal →
003-coldhot

Cold / hot functions

`@cold` pure logic becomes cacheable (`@functools.cache`, auto-imported); `@hot` is a marker only. Function definitions and `@cold` round-trip. `@hot` has one documented cosmetic exception.

Run in Playground →Open in Terminal →
004-closure

Closures (nested functions)

A nested `def` captures the enclosing parameter `n` (lexical closure).

Run in Playground →Open in Terminal →
005-recursion

Recursion

Self-recursive factorial via the ternary `?:`. `loopKind: recursive` (deterministic; not statically proven terminating).

Run in Playground →Open in Terminal →
006-mvp-number-guessing-game

MVP proof: a second real, recognizable program ported to EML

`number_guessing_game.eml` is the second "does EML actually work for something real" test (see [`examples/mvp-tic-tac-toe/`](../mvp-tic-tac-toe/) for the first) — a genuine, independently-authored small program expressed end to end in EML: transpiled to Python, executed, and verified against real Python via the interpreter equivalence gate.

Run in Playground →Open in Terminal →
007-mvp-tic-tac-toe

MVP proof: a real, recognizable program ported to EML

`tic_tac_toe.eml` is a "does EML actually work for something real" test — not a new-language-feature regression fixture like the other `examples/phaseN-*` directories, but a demonstration that a genuine, independently-authored small program can be expressed end to end in EML: transpiled to Python, executed, and verified against real Python via the interpreter equivalence gate.

Run in Playground →Open in Terminal →
008-todo-list-manager

Case corpus: a self-authored class-based todo-list manager

`todo_list_manager.eml` is the third case in a self-authored batch (see [`examples/unit-temperature-converter/`](../unit-temperature-converter/) and [`examples/word-frequency-counter/`](../word-frequency-counter/) for the other two) — part of growing the EML case corpus toward AI-native training scale, not a port of an existing project.

Run in Playground →Open in Terminal →
009-unit-temperature-converter

Case corpus: a self-authored unit-conversion program

`temperature_converter.eml` is the first case in a self-authored batch (see [`examples/word-frequency-counter/`](../word-frequency-counter/) and [`examples/todo-list-manager/`](../todo-list-manager/) for the other two) — part of growing the EML case corpus toward AI-native training scale, not a port of an existing project.

Run in Playground →Open in Terminal →
010-word-frequency-counter

Case corpus: a self-authored word-frequency counter

`word_frequency_counter.eml` is the second case in a self-authored batch (see [`examples/unit-temperature-converter/`](../unit-temperature-converter/) and [`examples/todo-list-manager/`](../todo-list-manager/) for the other two) — part of growing the EML case corpus toward AI-native training scale, not a port of an existing project.

Run in Playground →Open in Terminal →
011-anagram-checker

Anagram checker

`anagram_checker.eml` checks five sample word pairs — `listen`/`silent`, `evil`/`vile`, `dormitory`/`dirtyroom`, `night`/`thing`, and `cat`/`dog` — for whether each pair is an anagram of the other.

Run in Playground →Open in Terminal →