A deterministic, sandboxed, LLM-first language that compiles to WebAssembly.
PEPL builds Spaces — self-contained interactive applications generated by language models. Every syntax decision exists to reduce LLM generation errors: keyword-based control flow, explicit mutations, mandatory type annotations.
| Repo | Description | crates.io |
|---|---|---|
| pepl | Compiler — lexer, parser, type checker, evaluator, WASM codegen (8 crates) |  |
| pepl-stdlib | Standard library — 100 deterministic functions + 2 constants |  |
| pepl-ui | UI component model — 10 accessible, deterministic components |  |
- Deterministic — same source + same inputs = identical outputs, always
- Sandboxed — capability-based security for HTTP, storage, location, notifications
- LLM-first — designed for code generation, not human authoring
- Compiles to WASM — runs in browsers via Web Workers
- Type-safe — strict type checking with sum types, generics, and Result<T,E>
All repos are MIT licensed.