Velme · Latvian vēlme, “wish”

Velme

Write the goal. The AI proposes the code. A deterministic compiler decides.

An intent-driven programming language, kids first and professional by design. You keep the part that needs a person: what the program should do, and how to tell whether it does.

goal Add(a: Number, b: Number) -> Number:
    plan: "Add a and b."

    check:
        - result == a + b

How it works

  1. You write typed goals

    What each goal does in plain language, which goals it may call, and the checks and examples its result must pass.

  2. An LLM proposes IR

    A validator accepts it or rejects it, never another LLM. The AI can't add calls or reach files, network or the clock.

  3. The result is locked

    Accepted code runs in a sandbox on a fixed budget. Running it again gives the same result, offline.

Status

The v0.1 specification is complete and the workspace is in place. Implementation is starting; nothing is usable yet. Watch the repo for releases, or read the devlogs in Announcements.