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

• UpdatedNov 29, 2025
• Rust

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

• UpdatedJun 24, 2025
• Lua

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

• UpdatedNov 25, 2025
• Rust

Functional programming inspired by ML for the Erlang VM

• UpdatedJun 13, 2020
• Erlang

The parallel, concurrent, and functional programming language for scalable software development

• UpdatedNov 20, 2025
• Rust

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

• UpdatedSep 6, 2023
• Rust

A statically typed functional programming language for the web.

• UpdatedOct 25, 2025
• Elixir

An ML-like statically-typed Erlang

• UpdatedOct 6, 2023
• OCaml

A statically-typed variant of Lox, written in TypeScript

• UpdatedJan 6, 2023
• TypeScript

Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)

• UpdatedFeb 7, 2022
• TypeScript

🔮 The application platform for your cyberpunk desk

• UpdatedSep 13, 2023
• Rust

An experimental project for statically typed scripting language.

• UpdatedNov 19, 2021
• Rust

Faster pathlib for Python

• UpdatedMar 14, 2025
• Python

Map lazy functional language constructs to LLVM IR

• UpdatedJun 21, 2019
• Haskell

Statically typed, embeddable, scripting language written in Zig.

• UpdatedMay 24, 2021
• Zig

Compiler for a small Scala subset

• UpdatedApr 4, 2025
• F#

The initial (legacy) compiler for the Gera programming language.

• UpdatedMay 10, 2024
• Rust

A static strongly typed object oriented programming language with focus on composition

• UpdatedAug 25, 2020
• C++

🌊 A statically typed lisp-like programming language.

• UpdatedJun 14, 2022
• Haskell

A simple statically-typed language written in pure Crystal.

• UpdatedApr 26, 2024
• Crystal