statically-typed topic
luf
Statically typed, embeddable, scripting language written in Zig.
strela
A static strongly typed object oriented programming language with focus on composition
loxdown
A statically-typed variant of Lox, written in TypeScript
fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Sesterl
An ML-like statically-typed Erlang
nelua-lang
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
linq-collections
Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
alpaca
Functional programming inspired by ML for the Erlang VM
gleam
⭐️ A friendly language for building type-safe, scalable systems!
pen
The parallel, concurrent, and functional programming language for scalable software development