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.
Source-based package management with deterministic builds and reproducible dependency resolution.