⭐️ A friendly language for building type-safe, scalable systems!
-
Updated
Jun 18, 2026 - Rust
#
statically-typed
Here are 87 public repositories matching this topic...
A statically typed programming language for scientific computations with first class support for physical dimensions and units
-
Updated
Mar 13, 2026 - Rust
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
c language programming-language lua compiler minimal metaprogramming luajit efficient statically-typed nelua
-
Updated
Jun 24, 2025 - Lua
Functional programming inspired by ML for the Erlang VM
-
Updated
Jun 13, 2020 - Erlang
The parallel, concurrent, and functional programming language for scalable software development
-
Updated
Jun 16, 2026 - Rust
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
language programming-language rust parser dependent-types compiler binary-data dsl declarative data-description-language type-system statically-typed type-checker binary-format dependent-record-types
-
Updated
Sep 6, 2023 - Rust
A statically typed functional programming language for the web.
-
Updated
Oct 25, 2025 - Elixir
An ML-like statically-typed Erlang
programming-language erlang ocaml actor-model monad concurrent-programming type-system process-calculus statically-typed module-system f-ing-modules sesterl
-
Updated
Oct 6, 2023 - OCaml
A statically-typed variant of Lox, written in TypeScript
-
Updated
Jan 6, 2023 - TypeScript
Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
-
Updated
Feb 7, 2022 - TypeScript
A systems programming language with no hidden behavior.
language programming-language native compiler self-hosted statically-typed systems-programming compiled-language
-
Updated
Jun 17, 2026 - PowerShell
🔮 The application platform for your cyberpunk desk
-
Updated
Sep 13, 2023 - Rust
An experimental project for statically typed scripting language.
-
Updated
Dec 30, 2025 - Rust
Map lazy functional language constructs to LLVM IR
programming-language compiler llvm lambda-calculus concurrent-programming statically-typed pi-calculus
-
Updated
Jun 21, 2019 - Haskell
Faster pathlib for Python
python cython path speed type-safe statically-typed speedup-python static-memory-allocation memory-safe null-safe
-
Updated
Mar 14, 2025 - Python
Statically typed, embeddable, scripting language written in Zig.
language embeddable zig scripting-language statically-typed embeddable-scripting-language ziglang luf
-
Updated
May 24, 2021 - Zig
Compiler for a small Scala subset
language programming-language parsing compiler fsharp x86-64 programming-languages toy-compiler compiler-design statically-typed hobby-compiler
-
Updated
Apr 4, 2025 - F#
A fast, statically-typed interpreted language that blends Rust-like syntax with Python's ease of use. 2-10x faster than Python, with type inference, monomorphization, and constant folding.
programming-language rust fast performance compiler repl type-inference interpreters statically-typed keel monomorphization
-
Updated
Jun 18, 2026 - Rust
The initial (legacy) compiler for the Gera programming language.
javascript programming-language rust interpreter compiler garbage-collector garbage-collection compilers interpreted-programming-language interpreters statically-typed procedural-programming compiled-language interpreted-language interpreter-language
-
Updated
May 10, 2024 - Rust
A static strongly typed object oriented programming language with focus on composition
-
Updated
Aug 25, 2020 - C++
Improve this page
Add a description, image, and links to the statically-typed topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the statically-typed topic, visit your repo's landing page and select "manage topics."