austral/specification austral/specification

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Makefile
  • License
    Other
  • Created almost 6 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
austral/specification
github

austral

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The Austral Language Specification

More 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