Pre-1.0 · operational compiler

Build small.
Move fast.

A systems language focused on fast iteration, explicit low-level control, and a language spec small enough to keep in context.

Developed by Aerun.ai.

hello.sd
use "io"

fn main() -> result<i64, io_error> {
    println("Hello, world!")?
    result.ok(0)
}

Why a new language?

seed explores a compact systems-language design with explicit tradeoffs.

Language Tradeoff seed
C/C++ Fast but unsafe — segfaults, buffer overflows, use-after-free Ownership, linear resources, lexical views and explicit unsafe
Rust Safe and fast, but brutal complexity — borrow checker, lifetimes, async tax No lifetime syntax; moves, views and cleanup remain explicit
Go Simple, but GC pauses, no memory control, not systems-grade No GC; deterministic cleanup and explicit allocation effects
Python / JS Productive, but slow runtime, heavy, not for systems work Native LLVM pipeline with measured, workload-specific baselines
Java / C# Robust, but verbose, heavy VM, slow warm-up No VM or warm-up; runtime profile is selected per target
All above LLM-hostile — huge specs, context full of edge cases Compact grammar plus a versioned agent skill

Existing languages were designed before the LLM era. seed is designed for it — simple enough for an LLM to reason about as a whole, while retaining explicit systems control. The checked-in skill keeps agents on the same syntax and ownership contract as the operational compiler.

Why seed?

Built from zero. No external limitations.

Fast Compiles

LLVM IR is the canonical backend. The target is tight edit/check loops with fast incremental builds. Object-level compilation for rapid iteration.

🔒

Safe by Construction

Copy scalars, move-only resources, explicit clone, lexical views, linear t, exact cleanup and no GC.

🌱

Explicit Runtime

Hosted, freestanding, kernel and runtime-none profiles make platform services and unsafe boundaries visible.

🚀

Multi-Target

Linux is primary; Windows x86-64 passes under Wine, macOS x86-64 runs on Intel, and other targets publish their exact object/link/run level.

🔧

Expression-Oriented

Every construct returns a value. ADTs, match, ?T optionals, result propagation with ?. Structured concurrency with spawn.

💡

LLM-Native

Compact grammar. Fits in a single context window. Both humans and AI agents can hold the entire language in mind.

Growing Ecosystem

252 Grove library directories, 11 apps and 20 compiler-stage packages in the current tree. Directory count is inventory, not readiness.

252
Grove directories
grove/libs/
11
Apps
grove/apps/
20
Core Packages
compiler/llvm/libs/
283
Total
libs + apps + core

Product roadmaps

What is operational, what is a tested foundation, and what comes next.

CLI & TUI

Foundation. G08 closed portable parsing, help, completion, surfaces, layout and snapshots. Interactive terminal/process ownership remains next.

Web & desktop

Foundation / prototype. Network and HTTP policy layers exist; the integrated web runtime and a real window/renderer lifecycle are still open.

Mobile

Android operational slice. JNI host, Canvas frames, input and AVD execution work for arm64/x86-64. Full widgets, accessibility, signing and iOS remain open.

Ridge DB

Active v0.3. V3-G0-G13 foundation is complete; V3-G14-G25 owns the local-production expansion. v0.2 P13 was waived, not reported as passing.

Game & adaptive UI

Prototype. Math, time, layout, input and UI packages exist. Renderer, audio, assets, packaging and an executable game baseline are next.

ML & LLM

Metadata foundation. Owned tensors, datasets, model configuration and experiment contracts exist; numeric kernels, training and inference execution remain open.

One Copy. Every Project.

No node_modules bloat. No per-project duplicates.

💾

Global Version Cache

Every version of every lib lives once under ~/.local/lib/seed. Ten projects using the same library version share one copy.

📈

Dynamic Linking

Default builds link against .so files in the cache. seed build --static for self-contained binaries.

🔒

Concurrency-Safe

flock mutex + atomic rename(2). Two projects running seed install simultaneously never corrupt each other's download.

🗃

Auto-Remove

seed uninstall removes packages cleanly. seed prune cleans source cache. No gigabytes of dead deps.

🛰

Offline Friendly

Once downloaded, the cache serves every build without network access. Lock files pin exact versions so builds are reproducible offline.

📋

Checksum-Verified

Every cached version records a checksum in seed.lock. Tampering or corruption is detected on every build.

All dependencies live under ~/.local/lib/seed — not in your project directory.

Simple, Powerful Syntax

Familiar concepts, zero ceremony.

structs.sd
struct point {
    x: i32
    y: i32
}

fn point.distance_squared(other: point) -> i32 {
    let dx = self.x - other.x
    let dy = self.y - other.y
    dx * dx + dy * dy
}

fn main() -> i32 {
    let origin = point.{ x: 0, y: 0 }
    let target = point.{ x: 3, y: 4 }
    origin.distance_squared(target)
}
concurrency.sd
use "task"

fn main() -> i64 {
    let pair = channel_new<i32>(1).or_abort()
    let sender = pair.sender
    let receiver = pair.receiver
    spawn {
        let _done = sender.send(42)
    }
    let received = receiver.recv()
    match received.value {
        some(value) => if value == 42 { 0 } else { 1 }
        none => 2
    }
}

What seed Removes

Omission is design. What we leave out defines the language.

borrow checker
ownership, linear resources and lexical views without lifetime syntax
async/await
structured concurrency with spawn
runtime generics
monomorphized generics + inline fns
null
optional type ?T
exceptions
ADTs + try operator
classes
structs + methods
operator overloading
explicit methods
macros
inline fns + generics

Licensing direction

seed is currently proprietary and pre-release. Final plans, pricing and support terms have not shipped.

Coherent language contract

The compiler, specification, book, agent skill and gate evidence evolve together around one operational implementation.

Evidence before claims

Pre-1.0 work is reported through named gates, target levels and reproducible baselines. Product readiness is not inferred from source presence.

Roadmap visibility

Language, CLI, TUI, web, mobile, Ridge, game, ML and systems tracks publish their current stage and next evidence boundary.

The code you write is yours. Full ownership. No restrictions. No royalties. You ship it, you own it — forever.

Commercial licensing is the current direction. Concrete availability, pricing, compatibility and support commitments will be published with the release that provides them.

Be the first to know

seed is launching soon. Drop your email and we'll notify you the moment it's available.