Ingle

A statically-typed, brace-delimited systems language — safe without a garbage collector.

Ingle is in the lineage of C, C#, and Rust: ownership with move/borrow checking and deterministic reference counting (no GC, no pauses, no reference cycles), a real type system with generics and exhaustive pattern matching, structured concurrency, and verification built into the language. The reference compiler is written in C with no third-party dependencies, and builds and runs on macOS and Linux.

Status: active development (pre-1.0). The language and compiler evolve together.

Read

• Home — the landing page.
• Language reference — what runs today.
• The Ingle Book — the long-form guided tour.
• For LLMs — the priors cheat-sheet; paste it into a model before asking it to write Ingle.
• Flare — the declarative UI layer.
• Architecture — compiler & toolchain decisions.
• Manifesto — the design philosophy and the decisions behind the language.

Get it

The source, build instructions, and examples are on GitHub: github.com/ingle-lang/ingle

git clone https://github.com/ingle-lang/ingle
cd ingle-lang
make            # builds the compiler
make test       # runs the test suite
make install    # installs to ~/.ingle

fn main() -> int {
    println("Hello, Ingle!")
    return 0
}

Ingle is released under the MIT License.