Getting Started
Clef is under active development. This guide will be expanded as the toolchain matures.
Overview
Clef is a concurrent systems language targeting heterogeneous compute:
- Multi-target — compiles to CPU, GPU, NPU, FPGA, and other accelerators
- Concurrent — first-class concurrency primitives for parallel and distributed systems
- Proof-carrying — proof-aware compilation for safe realtime systems
Ecosystem
| Tool | Purpose | CLI |
|---|---|---|
| Composer | Compiler and build orchestration | composer |
| ClefPak | Source-based package manager | clefpak / cpk |
| Lattice | Language server (LSP) | integrated |
| Atelier | IDE extensions (VS Code, Vim) | — |