KelftIntent, compiled.

Typed programs. Explicit constraints. A native compiler written in Kelft.

Get started

Read the specification

Public compiler

Core

Write typed, deterministic executable programs with functions, modules, and structured values.

Intent

Describe outcomes, constraints, and verification contracts. Declarations make requirements explicit; evidence must establish that they hold.

Native compilation

Check source, build native programs, and inspect the compiler’s supported capabilities. Target availability depends on the selected release.

A first program

kelft

fn main() -> void { println("Hello, Kelft!"); }

Save this as hello.kelft. With the public compiler installed:

kelft check hello.kelft --json
kelft run hello.kelft --project-root .

See Getting Started for installation and native build instructions.

Two ways to describe a program

Core defines executable behavior. Intent adds typed declarations of outcomes, constraints, capabilities, and change contracts. Both use .kelft; their source forms have separate grammars. Checking a declaration does not prove its requirements.

The compiler, Core, Intent, and specification snapshots have separate versions. Use the compatibility guide to understand those boundaries.

Explore the project

This reference uses compiler 0.1.0-alpha.2 at commit f567c2168436.