statically-typed

Open-source projects categorized as statically-typed
Edit details
Language: + Rust + Lua + Erlang + F#
Topics: programming-language Compiler Language Rust Erlang
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.
www.influxdata.com
featured

Top 7 statically-typed Open-Source Projects

  • gleam

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

    • Project mention: Borgo is a statically typed language that compiles to Go | news.ycombinator.com | 2024-04-30

    I haven't had time to really try to write anything in it, but https://gleam.run/ looks really good too. Like Elm for backend + frontend!

  • nelua-lang

    Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.

    • Project mention: Nelua: Statically typed language with a Lua flavor | news.ycombinator.com | 2024-04-22

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

    InfluxDB logo

  • alpaca

    Functional programming inspired by ML for the Erlang VM

  • numbat

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

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

  • coollang-2020-fs

    Compiler of a small Scala subset

    • Project mention: Course using F#: Write your own tiny programming system(s) | news.ycombinator.com | 2023-11-02

    Looks interesting.

    Once I saw it's a Czech university course using F#, I knew Tomáš Petříček would be the lecturer :)

    A couple years back, I wrote a compiler of tiny-ish scala subset in F# (the code is imperative, though)[1]

    [1]: https://github.com/mykolav/coollang-2020-fs

  • SaaSHub

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

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

statically-typed related posts

Index

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

Project Stars
1 gleam 15,033
2 nelua-lang 1,852
3 alpaca 1,429
4 numbat 849
5 pen 439
6 fathom 256
7 coollang-2020-fs 37

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