|
|
Rust |
2 |
Experimental statically-typed compiled programming language made with LLVM and Rust. |
Feb 09, 2024 |
|
|
Forth |
2 |
Typed Forth with first-class functions, garbage collection, OO |
Jan 21, 2020 |
|
|
C++ |
3 |
Statically typed scripting language |
Apr 10, 2018 |
|
|
Rust |
7 |
Statically Typed Scripting Language |
Mar 12, 2023 |
|
|
Rust |
2 |
Statically typed programming language |
Oct 30, 2022 |
|
|
Rust |
911 |
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, … |
Apr 28, 2023 |
|
|
Rust |
9 |
A statically-typed script language with JIT |
Oct 01, 2021 |
|
|
Rust |
171 |
A statically-typed programming language |
Apr 24, 2023 |
|
|
None |
2 |
A statically typed programming language |
Sep 10, 2021 |
|
|
Rust |
2 |
A statically typed scripting language |
Apr 20, 2023 |
|
|
JavaScript |
2 |
JSX is a statically-typed, class-based object-oriented programming language |
Aug 13, 2019 |
|
|
JavaScript |
2 |
JSX is a statically-typed, class-based object-oriented programming language |
Jan 09, 2013 |
|
|
C |
4 |
Astatine is a is a mid-level, statically typed, procedural programming language with some functional components. |
Nov 24, 2022 |
|
|
C++ |
30 |
a statically-typed programming language with powerful syntax |
Aug 03, 2022 |
|
|
F# |
7 |
Lw is a general-purpose statically-typed functional-first language with cutting-edge features. |
Feb 27, 2023 |
|
|
C++ |
241 |
A small, statically typed scripting language. |
Aug 03, 2022 |
|
|
Haskell |
3 |
Statically typed language compiled to bash |
Dec 11, 2019 |
|
|
Haskell |
37 |
A statically typed functional programming language. |
Jul 28, 2022 |
|
|
Haskell |
12 |
An imperative, statically-typed toy language |
Jan 29, 2023 |
|
|
C++ |
36 |
A statically & strongly typed scripting language |
May 05, 2023 |
|
|
TypeScript |
2 |
Statically-typed purely functional programming language |
Nov 19, 2021 |
|
|
Haskell |
2 |
Educational imperative statically typed programming language. |
Apr 29, 2023 |
|
|
Haskell |
4 |
A statically-typed functional scripting language |
Feb 09, 2023 |
|
|
Java |
2 |
A template language with statically typed bindings for Java. |
Feb 06, 2014 |
|
|
C++ |
14 |
A statically typed scripting language with shell-like features |
Apr 14, 2023 |
|
|
C |
672 |
Umka: a statically typed embeddable scripting language |
Aug 31, 2022 |
|
|
C++ |
11 |
General purpose, statically typed, functional programming language |
Jul 08, 2022 |
|
|
Rust |
4 |
A statically typed, interpreted, embeddable programming language |
Nov 12, 2022 |
|
|
Kotlin |
4 |
Statically-typed, strict, purely functional programming language |
Mar 29, 2022 |
|
|
Rust |
3 |
Minimal, interpreted, statically typed functional programming language. |
Aug 01, 2022 |
|
|
Haskell |
1004 |
A statically typed concatenative systems programming language. |
Oct 18, 2022 |
|
|
Haskell |
2 |
Statically-typed functional and concatenative programming language |
Apr 21, 2023 |
|
|
Rust |
2 |
[WIP] A statically typed, functional programming language. |
Apr 26, 2023 |
|
|
Rust |
13 |
Statically typed programming language transpiled to C |
Apr 30, 2023 |
|
|
Rust |
4 |
🚧 a statically typed easy language 🚧 |
Apr 21, 2023 |
|
|
Scala |
5 |
Statically Typed Pure Functinal Strict Language IMO |
Jan 28, 2022 |
|
|
Scala |
7 |
Onion - statically typed object-oriented programming language |
Oct 18, 2022 |
|
|
Rust |
3 |
Statically-typed Python-like language in Rust |
Jan 09, 2023 |
|
|
Java |
3 |
A compiler for a simple, statically typed, procedural language, primarily designed to target a custom … |
Jul 07, 2022 |
|
|
Rust |
4 |
An experimental programming language for exploring first class iterators. |
Nov 23, 2021 |
|
|
JavaScript |
4 |
Strongly Typed Experimental Expressive Language |
Jan 09, 2018 |
|
|
C# |
4 |
Category based statically typed general purpose programming language. |
Mar 04, 2022 |
|
|
JavaScript |
8 |
A statically-typed programming language for the web |
Apr 13, 2021 |
|
|
C++ |
12 |
A High Level, statically typed, Compiled programming language |
May 03, 2022 |
|
|
C++ |
466 |
daScript - high-performance statically strong typed scripting language |
Aug 31, 2022 |
|
|
PHP |
2 |
A statically typed programming language compiled in PHP. |
Jun 01, 2022 |
|
|
C++ |
2 |
Mango: Compiled, statically-typed general purpose programming language. |
May 05, 2022 |
|
|
F# |
29 |
A general purpose statically-typed concatenative programming language. |
Aug 11, 2022 |
|
|
Haskell |
3 |
Statically typed logic programming language designed for bedelibry. |
Jul 04, 2022 |
|
|
Rust |
3 |
A statically duck-typed language. Very much WIP. |
Feb 02, 2020 |