Clef targets CPU, GPU, NPU, FPGA, and other accelerators
with proof-carrying capabilities for safe realtime systems.
A complete language specification with normative semantics and informative design rationale.
Multi-target build orchestration for CPU, GPU, NPU, and FPGA with proof-aware compilation.
Explore the full corpus as a navigable graph. Trace how the specification, docs, blog, and pre-prints connect, and build your own reading path across the body of work.