Skip to content
@hale-lang

hale-lang

One structural construct — the locus — holding its shape from a value to a fleet. Wherever the structure closes, the compiler certifies it.

Hale

A design language.

This organization hosts the language, libraries that build on it (which include worked examples), benchmarks, and a small body of research.

Repos

Repo What it is
hale The language — compiler, runtime, spec
pond Shared libraries and worked examples
iris Realtime observer for running Hale systems — live locus, message-flow, and supervision visualization
bench Benchmarks
papers Research papers on capacity-allocation bounds in coordinated systems

Start here

Depending on what brings you in:

  • See what a Hale program looks likepond (worked examples live alongside the libraries)
  • Write onehale (spec, compiler, runtime)
  • Build on top of itpond
  • Read the researchpapers

Status

Early. APIs and language semantics will change. Pin to commits if you depend on anything.

License

Apache 2.0 across the org unless a repo says otherwise.


Also building brained.dev.

Popular repositories Loading

  1. hale hale Public

    A general-purpose, native, memory-safe language for scripts, services, and systems. As a program grows, ownership, concurrency, placement, and effects become things the compiler checks, not convent…

    Rust 35 1

  2. papers papers Public

    Two papers on capacity-allocation bounds in coordinated systems

    Python 2

  3. iris iris Public

    A realtime observer for running Hale systems — attaches over shared memory and renders locus structure, message flow, and transport behavior live.

    C 1

  4. bench bench Public

    Hale benchmark suite — microbenches + cross-language comparative grid, with reproduction instructions

    C

  5. pond pond Public

    Hale's contrib libraries — the 'non-std std lib': http, sqlite, websocket, router, agent/LLM, metrics, TUI. Vendored per-project.

    C 1

  6. .github .github Public

Repositories

Showing 9 of 9 repositories
  • hale Public

    A general-purpose, native, memory-safe language for scripts, services, and systems. As a program grows, ownership, concurrency, placement, and effects become things the compiler checks, not conventions.

    hale-lang/hale's past year of commit activity
    Rust 35 Apache-2.0 1 11 9 Updated Sep 11, 2026
  • hale-lang.org Public

    The Hale language website — hale-lang.org

    hale-lang/hale-lang.org's past year of commit activity
    HTML 0 0 0 0 Updated Sep 11, 2026
  • iris Public

    A realtime observer for running Hale systems — attaches over shared memory and renders locus structure, message flow, and transport behavior live.

    hale-lang/iris's past year of commit activity
    C 1 0 0 0 Updated Sep 4, 2026
  • bench Public

    Hale benchmark suite — microbenches + cross-language comparative grid, with reproduction instructions

    hale-lang/bench's past year of commit activity
    C 0 0 2 0 Updated Sep 4, 2026
  • tree-sitter-hale Public

    Tree-sitter grammar for the Hale language

    hale-lang/tree-sitter-hale's past year of commit activity
    JavaScript 0 0 0 0 Updated Sep 1, 2026
  • pond Public

    Hale's contrib libraries — the 'non-std std lib': http, sqlite, websocket, router, agent/LLM, metrics, TUI. Vendored per-project.

    hale-lang/pond's past year of commit activity
    C 0 Apache-2.0 1 0 0 Updated Aug 12, 2026
  • papers Public

    Two papers on capacity-allocation bounds in coordinated systems

    hale-lang/papers's past year of commit activity
    Python 2 0 0 0 Updated Aug 8, 2026
  • .github Public
    hale-lang/.github's past year of commit activity
    0 0 0 0 Updated Jul 22, 2026
  • hlhub Public

    Hale syntax highlighting on github.com — browser extension whose brain is written in Hale, compiled to wasm (tree-sitter grammar + GitHub's own Primer token classes)

    hale-lang/hlhub's past year of commit activity
    JavaScript 0 Apache-2.0 0 0 0 Updated Jul 15, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.