Linking pages
- Signed Integers are Asymmetrical https://borretti.me/article/signed-integers-asymmetrical 148 comments
- Lessons from Writing a Compiler https://borretti.me/article/lessons-writing-compiler 132 comments
- The Austral Programming Language https://austral-lang.org 123 comments
- Mac's Tech Blog https://www.macchaffee.com/blog/2023/solarwinds-hack-lessons-learned/ 110 comments
- Two Years of OCaml https://borretti.me/article/two-years-ocaml 79 comments
- Type Systems for Memory Safety https://borretti.me/article/type-systems-memory-safety 23 comments
- GitHub - ChessMax/awesome-programming-languages: The list of an awesome programming languages that you might be interested in https://github.com/ChessMax/awesome-programming-languages 7 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
- Features of a dream programming language: 2nd draft https://magnemg.eu/features-of-a-dream-programming-language-2nd-draft 0 comments
- Test Autodiscovery is a Silver Bullet https://borretti.me/article/test-autodiscovery-silver-bullet 0 comments
Linked pages
- Nix & NixOS | Declarative builds and deployments http://nixos.org 669 comments
- Capability-based security - Wikipedia https://en.wikipedia.org/wiki/Capability-based_security 76 comments
- Fernando Borretti https://borretti.me/ 14 comments
- https://www.apache.org/licenses/LICENSE-2.0 7 comments
- opam - Install https://opam.ocaml.org/doc/Install.html 2 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - austral/austral: Systems language with linear types and capability-based security.
See how to search.