# austral/austral

Systems language with linear types and capability-based security.

Repository: https://github.com/austral/austral
Canonical: https://ross.abutalabs.com/products/austral
Homepage: https://austral-lang.org/
Language: OCaml
License: Apache-2.0
License Family: permissive
Topics: linear-types, compiler, capabilities
Last push: 2025-07-28T23:44:49+00:00

## Health v2 (maintenance only)
Score: 38/100 (v2, computed 2026-09-03T02:39:23.370411+00:00)
- activity 34, release rhythm 8, longevity 100
- inputs: {"age_days": 2900, "days_push": 401, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: none
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1572, forks 59 (observed 2026-08-28T04:05:05.543774+00:00)

## What it is
Austral is a new systems programming language featuring linear types for provably safe resource and memory management, and linear capabilities for fine-grained permissioned access to low-level facilities. It ships with a compiler written in OCaml that compiles Austral source to native binaries via C.

## Use cases
- write memory-safe systems code without garbage collection
- prevent use-after-free and double-free bugs at compile time
- constrain third-party dependencies with capability-based security
- learn a language with linear types and typeclasses
- build software resistant to supply chain attacks
- get well-defined arithmetic semantics like Ada

## When to avoid
- you need a mature ecosystem, libraries, and tooling for production work
- you want async/await, macros, reflection, or type inference
- you need rapid development with minimal boilerplate
- your team relies on implicit conversions and overloading

## Facets
- artifact type: cli-tool
- maturity: active
- function: programming-language, compiler
- domain: programming-languages, compilers, security
- platform: cross-platform, cli
- tags: linear-types, capability-based-security, memory-safety, typeclasses, systems-programming, ocaml, supply-chain-security, systems, linux, macos

## Member repositories
- austral/austral (main) score 38

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:05:05.543774+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T03:58:10.229474+00:00, confidence not recorded.
  - readme: https://github.com/austral/austral (fetched 2026-08-28T04:05:05.543774+00:00, sha ee2e9346af08)
  - homepage: https://austral-lang.org/ (fetched 2026-08-29T11:27:58.857323+00:00, sha 156d4989f823)
  - site_page: https://austral-lang.org/features (fetched 2026-08-29T11:27:58.859935+00:00, sha 105675cbd2b5)
- Data as of 2026-08-30T08:39:29.467469+00:00.