austral/austral
Systems language with linear types and capability-based security. observed · 2026-08-28
Health v2 · maintenance only
38/100
- Activity 34
- Release rhythm 8
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 2900
- days_rel: n/a
- days_push: 401
- n_releases_24m: 0
Adoption not part of the score
1572 stars · 59 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
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
cli-tool · maturity active
programming-language compiler programming-languages compilers security cross-platform cli linear-types capability-based-security memory-safety typeclasses systems-programming ocaml supply-chain-security systems linux macos
3 sources
- readme: https://github.com/austral/austral · fetched 2026-08-28 · ee2e9346af08
- homepage: https://austral-lang.org/ · fetched 2026-08-29 · 156d4989f823
- site_page: https://austral-lang.org/features · fetched 2026-08-29 · 105675cbd2b5
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| austral/austral | main | 38 |
For agents
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem