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 →
Cubiml-demo Alternatives
Similar projects and alternatives to cubiml-demo
-
Nim
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
-
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.
-
Graal
GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
-
star
An experimental programming language that's made to be powerful, productive, and predictable (by ALANVF)
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
cubiml-demo reviews and mentions
-
Recursive type checking
https://blog.polybdenum.com/2020/07/04/subtype-inference-by-example-part-1-introducing-cubiml.html https://github.com/Storyyeller/cubiml-demo
-
Favorite PL paper?
oh and I forgot to mention, there's a minimal implementation of algebraic subtyping for an ML-style language https://github.com/Storyyeller/cubiml-demo
-
Is there a language with structural type constraints for variants and records?
Cubiml might be worth looking at as well.
-
Type checking Erlang
https://github.com/Storyyeller/cubiml-demo https://blog.polybdenum.com/2020/07/04/subtype-inference-by-example-part-1-introducing-cubiml.html
-
What are some simple but powerful compile-to-JS languages I might not know about, or that you are working on (not Elm, Reason, PureScript, or ClojureScript)?
CubiML
-
Is it correct that types are not involved/used in semantics but syntax of a programming language?
My own cubiml has type-independent semantics for example.
-
A note from our sponsor - InfluxDB
www.influxdata.com | 4 May 2024
Stats
Storyyeller/cubiml-demo is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of cubiml-demo is Rust.
Sponsored