Top 4 Rust statically-typed Projects

gleam

95 14,935 9.9 Rust

⭐️ A friendly language for building type-safe, scalable systems!

Project mention: Show HN: I open-sourced the in-memory PostgreSQL I built at work for E2E tests | news.ycombinator.com | 2024-04-07

If you use languages that compile to WASM (such as Gleam https://gleam.run), and can also run Postgres via WASM, then it opens very interesting offline scenarios with codebases which are similar on both the client and the server, for instance.

numbat

5 818 9.8 Rust

A statically typed programming language for scientific computations with first class support for physical dimensions and units

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).

InfluxDB

www.influxdata.com sponsored

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

10 439 9.5 Rust

The parallel, concurrent, and functional programming language for scalable software development (by pen-lang)
fathom

1 256 0.0 Rust

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧 (by yeslogic)

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).