Skip to content
@austral

Austral

The organization for the Austral programming language.

Popular repositories Loading

  1. austral austral Public

    Systems language with linear types and capability-based security.

    OCaml 1.1k 42

  2. austral.github.io austral.github.io Public

    The website for the Austral programming language.

    HTML 5 11

  3. specification specification Public

    The Austral Language Specification

    Makefile 4

  4. impressum impressum Public

    An HTML printer

    Common Lisp

  5. standard standard Public

    The Austral Standard Library.

    Makefile

Repositories

Showing 5 of 5 repositories
  • austral Public

    Systems language with linear types and capability-based security.

    austral/austral’s past year of commit activity
    OCaml 1,122 Apache-2.0 42 20 1 Updated Jun 24, 2024
  • austral.github.io Public

    The website for the Austral programming language.

    austral/austral.github.io’s past year of commit activity
    HTML 5 11 7 0 Updated Feb 18, 2024
  • standard Public

    The Austral Standard Library.

    austral/standard’s past year of commit activity
    Makefile 0 0 0 0 Updated Nov 22, 2021
  • specification Public

    The Austral Language Specification

    austral/specification’s past year of commit activity
    Makefile 4 0 0 0 Updated Sep 18, 2021
  • impressum Public

    An HTML printer

    austral/impressum’s past year of commit activity
    Common Lisp 0 0 0 0 Updated Mar 25, 2016

Top languages

Loading…

Most used topics

Loading…