- We started implementing Austral programming language in rust https://github.com/lambdaclass/austral.rs 8 comments programminglanguages
Linked pages
- Introducing Austral: A Systems Language with Linear Types and Capabilities https://borretti.me/article/introducing-austral 151 comments
- The Austral Programming Language https://austral-lang.org 123 comments
- How Capabilities Work in Austral https://borretti.me/article/how-capabilities-work-austral 29 comments
- How Austral’s Linear Type Checker Works https://borretti.me/article/how-australs-linear-type-checker-works 25 comments
- Type Systems for Memory Safety https://borretti.me/article/type-systems-memory-safety 23 comments
- Design of the Austral Compiler https://borretti.me/article/design-austral-compiler 1 comment
- Linear Types and Exceptions https://borretti.me/article/linear-types-exceptions 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - lambdaclass/austral.rs: An implementation of the Austral language compiler in Rust
See how to search.