Rust statically-typed

Open-source Rust projects categorized as statically-typed
Edit details
programming-language Rust Language Compiler Functional
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 4 Rust statically-typed Projects

statically-typed

  1. gleam

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

    Project mention: My Impressions of Gleam | news.ycombinator.com | 2025-01-25

    Wow. I invite everyone to go actually read the Gleam’s homepage: https://gleam.run/

    After reading the discussion here, with our poor community being “blinded by pathetic posturing” and such, I was expecting some kind of political polemic plastered over everything.

    Here’s the sum total of everything that could be considered political from the page:

    Friendly

    As a community, we want to be friendly too. People from around the world, of all backgrounds, genders, and experience levels are welcome and respected equally. See our community code of conduct for more.

    Black lives matter. Trans rights are human rights. No nazi bullsh*t.

    Which part of that can you possibly find objectionable? It seems the mere mention of anything political is seen as a transgression somehow. Like, Can’t we just go back to pretending we’re entirely apolitical, while the technologies we build reshape the political landscape of the entire planet?

  2. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  3. numbat

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

    Project mention: Scientific computing with confidence using typed dimensions | news.ycombinator.com | 2024-11-21

    I haven't had the opportunity to use this in research yet, but i liked numbat [0], as it comes with relevant common units and lets you define your own. It appeared on HN before [1].

    [0]: https://github.com/sharkdp/numbat

    [1]: https://news.ycombinator.com/item?id=38276430

  4. pen

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

  5. fathom

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

Rust statically-typed discussion

Log in or Post with

Rust statically-typed related posts

  • My Impressions of Gleam

    2 projects | news.ycombinator.com | 25 Jan 2025

  • Introduction to Gleam Programming Language

    2 projects | dev.to | 21 Dec 2024

  • Building Your First Gleam Application: A Weather CLI Tool

    1 project | dev.to | 21 Dec 2024

  • Ask HN: Isn't there a lightweight and popular Rust?

    1 project | news.ycombinator.com | 19 Nov 2024

  • Gleam 1.6.0 Is Released

    1 project | news.ycombinator.com | 18 Nov 2024

  • Everything Is Just Functions: Mind-Blowing Insights from SICP and David Beazley

    1 project | news.ycombinator.com | 18 Nov 2024

  • Lustre and Gleam Make my Heart Rate Go Down - a Case Study

    1 project | dev.to | 3 Oct 2024
  • A note from our sponsor - SaaSHub
    www.saashub.com | 25 Jan 2025
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

What are some of the best open-source statically-typed projects in Rust? This list will help you:

# Project Stars
1 gleam 18,583
2 numbat 1,376
3 pen 454
4 fathom 258

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
Loading...