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. Learn more →
Austral Alternatives
Similar projects and alternatives to austral
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
-
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.
-
conjure
Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile, Python and more!)
-
Smalltalk
Parser, code model, interpreter and navigable browser for the original Xerox Smalltalk-80 v2 sources and virtual image file (by rochus-keller)
-
deprecated-coalton-prototype
Discontinued Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
austral reviews and mentions
- Austral: A systems language with linear types. (2021)
- Where Are the Supply Chain Safe Programming Languages?
- Rust developers concerned about complexity, low usage
-
Modern Pascal is still in the race (2022)
> But these days folks are mostly used to the C style syntax.
Mostly, but I'm told the new Austral[1] language has syntax very similar to that of Pascal's.
1: https://austral-lang.org/
- Austral Programming Language
-
Why Use Pascal?
For the first couple of items on the list, Austral might be a language worth considering:
https://austral-lang.org
It's new so it obviously doesn't have the community of libraries to use, but it does have a very friendly and accessible Pascal-like syntax, while also having a state of the art linear type system.
-
Interested in "secure programming languages", both theory and practice but mostly practice, where do I start?
For something more new look at Austral.
- The seven programming ur-languages
-
Must move types by Niko Matsakis
https://austral-lang.org has linear types and doesn’t use RAII but it doesn’t have defer.
-
A note from our sponsor - InfluxDB
www.influxdata.com | 26 Apr 2024
Stats
austral/austral is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of austral is OCaml.
Sponsored