Projects in Awesome Lists tagged with statically-typed
A curated list of projects in awesome lists tagged with statically-typed .
https://github.com/gleam-lang/gleam
⭐️ A friendly language for building type-safe, scalable systems!
compiler erlang gleam programming-language statically-typed
Last synced: 20 Apr 2026
https://github.com/edubart/nelua-lang
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
c compiler efficient language lua luajit metaprogramming minimal nelua programming-language statically-typed
Last synced: 14 May 2025
https://github.com/sharkdp/numbat
A statically typed programming language for scientific computations with first class support for physical dimensions and units
calculator physics programming-language statically-typed terminal-based units web-app
Last synced: 13 May 2025
https://github.com/alpaca-lang/alpaca
Functional programming inspired by ML for the Erlang VM
alpaca erlang erlang-vm hindley-milner ml statically-typed
Last synced: 16 May 2025
https://github.com/pen-lang/pen
The parallel, concurrent, and functional programming language for scalable software development
concurrency functional go language programming-language rust statically-typed wasm
Last synced: 14 May 2025
https://github.com/yeslogic/fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
binary-data binary-format compiler data-description-language declarative dependent-record-types dependent-types dsl language parser programming-language rust statically-typed type-checker type-system
Last synced: 04 Apr 2025
https://github.com/gfngfn/sesterl
An ML-like statically-typed Erlang
actor-model concurrent-programming erlang f-ing-modules module-system monad ocaml process-calculus programming-language sesterl statically-typed type-system
Last synced: 16 Mar 2025
https://github.com/davidtimms/loxdown
A statically-typed variant of Lox, written in TypeScript
interpreter lox statically-typed typescript
Last synced: 10 Apr 2025
https://github.com/isc30/linq-collections
Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
collections javascript linq performance statically-typed strongly-typed typescript
Last synced: 08 Jul 2025
https://github.com/Hihaheho/Desk
🔮 The application platform for your cyberpunk desk
algebraic-effects functional-programming high-code statically-typed visual-programming
Last synced: 02 Apr 2025
https://github.com/juancarlospaco/thatlib
Faster pathlib for Python
cython memory-safe null-safe path python speed speedup-python static-memory-allocation statically-typed type-safe
Last synced: 10 Apr 2025
https://github.com/luukdegram/luf
Statically typed, embeddable, scripting language written in Zig.
embeddable embeddable-scripting-language language luf scripting-language statically-typed zig ziglang
Last synced: 02 Jul 2025
https://github.com/Luukdegram/luf
Statically typed, embeddable, scripting language written in Zig.
embeddable embeddable-scripting-language language luf scripting-language statically-typed zig ziglang
Last synced: 16 Apr 2025
https://github.com/mykolav/coollang-2020-fs
Compiler of Cool 2020 (a small Scala subset) into x86-64 assembly, in F#
compiler compiler-design fsharp hobby-compiler language parsing programming-language programming-languages statically-typed toy-compiler x86-64
Last synced: 18 Aug 2025
https://github.com/mbdevpl/static-typing
Add static type information into Python abstract syntax trees.
dynamic-analysis static-analysis static-types statically-typed type-safety type-system
Last synced: 21 Aug 2025
https://github.com/jakubgrobelny/aurox-lang
Interpreter written for Prolog course.
compilers cpp dcg functional-programming interpreter logic-programming logical-programming ml parametric-polymorphism parsing programming-languages prolog statically-typed toy-language transpiler university-project
Last synced: 17 Oct 2025
https://github.com/davidgregory084/mina
A minimum viable functional programming language for the JVM
compiler functional-language functional-languages functional-programming java-virtual-machine jvm jvm-languages language programming-language statically-typed
Last synced: 12 May 2025
https://github.com/xrxr/alang
A toy compiler for a statically typed language
compiler programming-language statically-typed
Last synced: 12 May 2025
https://github.com/jackmilner1/fizz
My own statically typed programming language with support of pointers, a custom compiler (Lexer, Parser , Abstract syntax tree) written in C++ and uses LLVM
compiler cpp llvm open-source pointers programming-language statically-typed
Last synced: 05 Apr 2025
https://github.com/lume-lang/lume
🌙 Comfortable and succinct programming language. Type-safe, expressive and to the point.
compiler expressive programming-language statically-typed
Last synced: 02 Mar 2026
https://github.com/aermoss/rsx
An interpreted statically typed multi paradigm general purpose programming language designed for cross platform applications.
cross-platform general-purpose interpreted interpreted-languages interpreter multi-paradigm programming-language rsharp rsx statically-typed
Last synced: 14 Apr 2025
https://github.com/aermoss/rsx-r
A compiled statically typed multi paradigm general purpose programming language designed for cross platform applications.
compiler cross-platform general-purpose llvm llvmlite multi-paradigm programming-language rsharp rsxr statically-typed
Last synced: 23 Oct 2025
https://github.com/ericnantel/mrald
The Mrald Programming Language
compiler language mrald mrald-lang open-source programming-language statically-typed
Last synced: 09 Apr 2025
https://github.com/ryanmorr/typed
Statically typed properties for object literals
data javascript object properties statically-typed
Last synced: 12 Jun 2026
https://github.com/roldak/adacompute
An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.
ada ada-language dsl gpu opencl statically-typed
Last synced: 24 Mar 2025
https://github.com/rzetelskik/holang-interpreter
Interpreter of a toy, Go-like, imperative, statically typed language implemented in Haskell.
go haskell imperative interpreter statically-typed
Last synced: 30 Apr 2026
https://github.com/antonsynd/sharpy
A statically-typed Pythonic language for .NET
ahead-of-time-compilation cil compiled-language dotnet msil python python3 pythonic statically-typed
Last synced: 10 Apr 2026
https://github.com/cs-joy/kotlinfv1.6.20
study:: https://kotlinlang.org/docs/home.html
block-structured concurrent cross-platform declarative functional generic imperative multi-paradigm object-oriented reflective statically-typed type-inference
Last synced: 23 Feb 2025
https://github.com/antonsynd/sidewinder
A statically-typed Pythonic language that transpiles to C++20
ahead-of-time aot-compilation compiled-language cpp cpp20 cxx cxx20 ir llvm mamba python pythonic static-typing statically-typed transpilation transpiled-language transpiler wasm
Last synced: 18 Apr 2026
https://github.com/antonsynd/mamba
C++20 transpilation target for a statically-typed Pythonic language
chiri clang cmake cpp cpp20 cxx cxx20 header-only python python3 pythonic sidewinder statically-typed transpiler
Last synced: 02 Jan 2026