Skip to content

Corpus

1,514 E# programs (1,360 compiler-verified), extracted from the language's own test suite and samples — passing test cases, curated showcases, and integration tests (some sizeable, multi-file) — grouped by feature. Every example is real .es source: each one compiles cleanly (or, for negative cases, fails with its expected diagnostic) and either produces its asserted output or is a real, well-formed program. The full set is also available as a public repository, a HuggingFace dataset, and a single llms-full.txt.

By topic

Flagship programs

Multi-file E# programs — the real thing, not snippets.