|
|
TeX |
8 |
A statically typed functional programming inspired by Haskell, OCaml and Rust. |
Feb 14, 2023 |
|
|
Haskell |
9 |
Quartz is an interpreted, statically typed programming language with Haskell backend |
Jun 12, 2021 |
|
|
JavaScript |
4 |
Strongly Typed Experimental Expressive Language |
Jan 09, 2018 |
|
|
C++ |
36 |
A statically & strongly typed scripting language |
May 05, 2023 |
|
|
Haskell |
10 |
Strongly typed paths in Haskell |
Nov 02, 2022 |
|
|
C |
2 |
roda is a small, strongly typed, compiled programming language. |
Jan 27, 2023 |
|
|
Rust |
2 |
Statically typed programming language |
Oct 30, 2022 |
|
|
Haskell |
105 |
Strongly-typed System F in Haskell |
Mar 16, 2023 |
|
|
Zig |
179 |
Small, strongly typed, embeddable language. |
Oct 05, 2022 |
|
|
Rust |
171 |
A statically-typed programming language |
Apr 24, 2023 |
|
|
None |
2 |
A statically typed programming language |
Sep 10, 2021 |
|
|
Java |
2 |
D2 is a strongly-typed, statically-typed, (mostly) inferred-type compiled language. |
May 08, 2023 |
|
|
C++ |
9 |
Modern, statically typed, duck typed, generic, imperative programming language, inspired by C++, Go, and Scala. |
Jan 04, 2023 |
|
|
C++ |
241 |
A small, statically typed scripting language. |
Aug 03, 2022 |
|
|
Haskell |
37 |
A statically typed functional programming language. |
Jul 28, 2022 |
|
|
TypeScript |
2 |
Statically-typed purely functional programming language |
Nov 19, 2021 |
|
|
Haskell |
2 |
Educational imperative statically typed programming language. |
Apr 29, 2023 |
|
|
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 |
|
|
Scala |
7 |
Onion - statically typed object-oriented programming language |
Oct 18, 2022 |
|
|
Haskell |
22 |
More strongly typed variant of the ixset Haskell package |
Jan 04, 2023 |
|
|
Haskell |
4 |
Goose is a strongly typed programming language inspired by Ruby which compiles to native. |
Apr 25, 2023 |
|
|
C |
121 |
A very small statically-typed embeddable scripting language. |
May 20, 2023 |
|
|
Haskell |
22 |
A compiler for a strongly typed, haskell-like functional language |
May 22, 2022 |
|
|
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 |
|
|
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 |
|
|
C++ |
30 |
a statically-typed programming language with powerful syntax |
Aug 03, 2022 |
|
|
Haskell |
3 |
Statically typed logic programming language designed for bedelibry. |
Jul 04, 2022 |
|
|
OCaml |
95 |
Statically typed system programming language for 文鳥 |
Mar 15, 2023 |
|
|
Rust |
17 |
Strongly-typed, general purpose programming language based on Rust |
Jun 13, 2022 |
|
|
Java |
4 |
Java interpreter for my own strongly typed programming language |
Jan 07, 2023 |
|
|
D |
2 |
Category theory types inspired from Haskell |
Mar 11, 2019 |
|
|
Haskell |
11 |
🌊 a statically typed lisp-like (currently) programming language. |
Mar 08, 2022 |
|
|
Rust |
2 |
A compiled, statically typed, and intuitive systems programming language. |
Feb 20, 2022 |
|
|
C++ |
23 |
A statically-typed, scripting programming language written in C++ |
Apr 10, 2023 |
|
|
Rust |
2 |
JazzML(formelly JazzScript) statically typed programming language for scripting |
May 26, 2020 |
|
|
C# |
207 |
Cat - a statically typed functional stack-based programming language |
Apr 13, 2023 |
|
|
Python |
5 |
My attempt at making a statically typed programming language |
May 06, 2020 |
|
|
Haskell |
13 |
A compiler for a little statically-typed language implemented in Haskell. |
Jan 29, 2023 |
|
|
C# |
28 |
Automatically generate Types for Strongly Typed Id in Entity Framework Core |
May 04, 2023 |