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 →
Top 4 Rust statically-typed Projects
-
-
numbat
A statically typed programming language for scientific computations with first class support for physical dimensions and units
-
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.
-
pen
The parallel, concurrent, and functional programming language for scalable software development (by pen-lang)
-
fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧 (by yeslogic)
Wanted to add to the usual "why is BEAM not more popular" conversation that there is also Gleam [1], which is an up and coming typed language on top of BEAM. It has the more common C-like syntax and a growing ecosystem of libraries, for example Lustre [2]. Unlike Elixir it has a much tighter syntax without all the macro magic. It also does not wrap around Erlang processes and you have to use those directly. To myself I see it as more of a Go for BEAM, although I am sure people would criticize me for making such generalization.
It sucks that syntax matters but it kind of does. I, for one, am somewhat put off by meta-programming and flexibility of Elixir. The idea of having to learn a syntax per-library I struggle to see the benefits of. I have never programmed Ruby or Lisp so perhaps I have not experienced the joy of what Elixir has to offer...
[1] https://gleam.run/
Project mention: Show HN: Numbat – A programming language with physical dimensions as types | news.ycombinator.com | 2023-11-16> 365·243 ought to be 365·2425 exactly:
Yes. This is also how it is defined: https://github.com/sharkdp/numbat/blob/ba9e97b1fbf6353d24695...
The calculation above is showing a rounded result (6 significant digits by default).
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
Rust statically-typed related posts
-
Machine learning in Elixir is production-ready
-
Why the number of Gleam programmers is growing so fast?
-
Gleam v1.0.0
-
Gleam has a 1.0 release candidate
-
Welcome to the Gleam Language Tour
-
A friendly language for building type-safe, scalable systems
-
Keeping and Eye on Gleam
-
A note from our sponsor - InfluxDB
www.influxdata.com | 16 May 2024
Index
What are some of the best open-source statically-typed projects in Rust? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | gleam | 15,286 |
| 2 | numbat | 901 |
| 3 | pen | 440 |
| 4 | fathom | 257 |
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com