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

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

    Rust 32 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

People

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

Top languages

Loading…

Most used topics

Loading…