#

austral

Here are 2 public repositories matching this topic...

austral / specification

The Austral Language Specification

documentation specification austral

Updated Sep 18, 2021
Makefile

heikozim / hilde

Hilde programming language: High-Integrity, Linear, Deterministic, Explicit (mirror)

c programming-language compiler systems-programming design-by-contract linear-types austral hilde

Updated Nov 9, 2026
OCaml

Add this topic to your repo

To associate your repository with the austral topic, visit your repo's landing page and select "manage topics."