Austral (@austral)
Guthub

austral

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,114
  • Global Org. Rank 14,262 (Top 5 %)
  • Registered almost 9 years ago
  • Most used languages
    HTML
         33.3 %
    OCaml
         33.3 %
    Makefile     33.3 %

Top repositories

1

austral

Systems language with linear types and capability-based security.
OCaml
1,105
star
2

austral.github.io

The website for the Austral programming language.
HTML
5
star
3

specification

The Austral Language Specification
Makefile
4
star