10000 Austral · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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.4k 47

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

    The website for the Austral programming language.

    HTML 7 11

  3. specification specification Public

    The Austral Language Specification

    Makefile 4

  4. impressum impressum Public

    An HTML printer

    Common Lisp 1

  5. standard standard Public

    The Austral Standard Library.

    Makefile

Repositories

Showing 5 of 5 repositories

Most used topics

Loading…
0