Austral: A Systems Language with Linear Types and Capabilities

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
linear-types Compiler Capabilities

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • austral

    Systems language with linear types and capability-based security.

    • Thank you for the kind words!

    >So, I’m just going to read the compiler source and then get a hold of you later.

    Luckily, the entire linear type checker is just 600 lines of code: https://github.com/austral/austral/blob/master/lib/Linearity...

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Austral: A systems language with linear types. (2021)

    1 project | news.ycombinator.com | 25 Apr 2024

  • Where Are the Supply Chain Safe Programming Languages?

    1 project | news.ycombinator.com | 1 Apr 2024

  • Rust developers concerned about complexity, low usage

    1 project | news.ycombinator.com | 25 Feb 2024

  • Why Use Pascal?

    5 projects | news.ycombinator.com | 8 Jul 2023

  • Interested in "secure programming languages", both theory and practice but mostly practice, where do I start?

    2 projects | /r/ProgrammingLanguages | 17 Jun 2023