包

String functions over POSIX paths: normalize, resolve, join and split them without touching the filesystem.

fspath/fspath

Pure Dawn readers for raw DEFLATE, gzip and ZIP, plus CRC-32.

inflate/crc32 inflate/deflate inflate/gzip inflate/zip

A JSON (RFC 8259) parser and renderer in pure Dawn that keeps integers exact and reports errors a caller can branch on.

json/lexer json/parser json/render json/value

SHA-256 (FIPS 180-4) in pure Dawn, with an incremental digest and a one-shot hex helper.

sha2/sha256

The vocabulary-free half of the Elm architecture: what a tree owes a reconciler, the reconciler, the walk, trait App, and subscriptions.

tea_core/app tea_core/cmd tea_core/diff tea_core/sub tea_core/tree tea_core/walk

The DOM half of the Elm architecture: a second vocabulary over packages/tea-core's reconciler contract, the wire format that carries a patch list out of a wasm module, and the reactor turn that answers one host message.

tea_dom/dsl tea_dom/node tea_dom/reactor tea_dom/render tea_dom/route tea_dom/wire

The terminal half of the Elm architecture: the widget vocabulary, its DSL, its renderer, the row presenter, routing, and the driver loop.

tea_term/dsl tea_term/present tea_term/render tea_term/route tea_term/runtime tea_term/step tea_term/widget

A pure Dawn generator of CUDA Tile IR that records a kernel body written against the Dev effect and emits it as cuda_tile text or as bytecode tileiras can assemble.

tileir/asm tileir/bytecode tileir/dev tileir/lower tileir/prog tileir/render

Host reference implementations of the Tile IR kernels: for each kernel, a pure function that answers what the device's output buffer should hold.

tileref/ref

A small HTTP/1.1 framework over jdk.httpserver: routes are data, handlers are fn(Request) -> Result[Response, HttpError] !io, middleware are handler transformers.

web/middleware web/router web/server web/types

Pairs a program's source with the C text and the JVM bytecode it compiles to: which call wrote which lines. A function of strings and records, with no I/O.

xmap/dawnmap xmap/javap xmap/panes xmap/source xmap/table xmap/xmap