handl

A machine that writes its own compiler rules, certifies them, and learns to play the game they create.

The arrow-calculus kernel — Term, Value, and the Language data schema everything composes on.

Eat-Da-Burger! is a restaurant app that lets users input the names of burgers they'd like to eat.

The first [`TransformEngine`] implementation (ADR-0094): a rule-interpreting rewriting engine that generalizes the legacy `handl-runtime::desugar_pass` machinery.

Data-driven AST formatter engine (ADR-0044 \"language as data\").

The cranelift eval engine for the eval operation (ADR-0044 §4, §7).

Generic e-graph / equality-saturation substrate over the kernel's Term/Value — hash-consing, extraction, provenance.

The bytecode eval engine for the eval operation (ADR-0044 §4, §7).

Composition primitives for pluggable interpretation and rewrite models — Plugin, Host, Operation, Behavior.

The web target: WebIDL/JS SDK emitters, .hfc single-file components, and the JavaScript compile target (ADR-0143)

The C target: C ABI bindings, the libclang-backed C backend, and the C-family SDK emitters (ADR-0136)

Documentation hub — the VitePress site aggregating per-repo docs, ADRs, and generated API reference.

Native char ops backing lib-char.

Slidev theme in the docs-site look — oklch green ramp, square corners, >>> prompt motif.

Portfolio App

The data-driven AST lint engine (ADR-0044 §3). Walks an [`Ast`] using [`handl_language::Language`] data to produce expression-level diagnostics.

The abstraction crate for the AST transform operation (ADR-0094).

The reference platform workspace — composable plugin crates assembling the language toolchain.

The abstraction crate for the parse operation (ADR-0044 §3).

The abstraction crate for the lex operation (ADR-0044 §3).