⭐️ A friendly language for building type-safe, scalable systems!
-
Updated
Oct 27, 2026 - Rust
{{ message }}
#
statically-typed
Here are 108 public repositories matching this topic...
A statically typed programming language for scientific computations with first class support for physical dimensions and units
-
Updated
Oct 11, 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
Dataflow programming language where you write a program as a message-passing graph and everything runs in parallel by default. It has strong static types, compiles to machine code, interoperates with Go, and supports visual programming with a node editor. Extremely LLM-friendly too.
go language golang immutable functional compiler concurrency fp parallelism dataflow fbp strongly-typed statically-typed opinionated hybrid-programming flow-based visual-programing neva nevalang llm-friendly
-
Updated
Aug 23, 2026 - Go
The parallel, concurrent, and functional programming language for scalable software development
-
Updated
Oct 26, 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 systems programming language with no hidden behavior.
language programming-language native compiler self-hosted mach statically-typed systems-programming compiled-language mach-lang
-
Updated
Oct 25, 2026
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
🔮 The application platform for your cyberpunk desk
-
Updated
Sep 13, 2023 - Rust
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
Oct 26, 2026 - 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
A small, statically-typed programming language and its compiler, written in Rust
-
Updated
Oct 12, 2026 - Rust
Faster pathlib for Python
python cython path speed type-safe statically-typed speedup-python static-memory-allocation memory-safe null-safe
-
Updated
Sep 7, 2026 - 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#
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."