|
|
Rust |
5 |
Typed zero-cost dimensional analysis |
Apr 26, 2021 |
|
|
Zig |
31 |
Statically typed, embeddable, scripting language written in Zig. |
Mar 03, 2023 |
|
|
C++ |
23 |
A statically-typed, scripting programming language written in C++ |
Apr 10, 2023 |
|
|
TypeScript |
94 |
A statically-typed variant of Lox, written in TypeScript |
May 10, 2023 |
|
|
Agda |
8 |
Multi-dimensional arrays in Agda |
Jun 22, 2022 |
|
|
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 |
|
|
OCaml |
9 |
Statically-typed heterogenous hash table |
Nov 02, 2020 |
|
|
Rust |
171 |
A statically-typed programming language |
Apr 24, 2023 |
|
|
None |
2 |
A statically typed programming language |
Sep 10, 2021 |
|
|
Swift |
4 |
Statically-typed key for Swift. |
Mar 06, 2016 |
|
|
Haskell |
2 |
Statically Typed Linear Algebra Library |
Dec 05, 2019 |
|
|
Kotlin |
7 |
Statically typed configurations for Kotlin |
Jan 13, 2023 |
|
|
Rust |
2 |
A statically typed scripting language |
Apr 20, 2023 |
|
|
Rust |
4 |
A general purpose, statically typed, compiled programming language written in Rust. |
Nov 12, 2021 |
|
|
Agda |
42 |
Formalizations of Gradually Typed Languages in Agda |
Jul 17, 2022 |
|
|
C++ |
241 |
A small, statically typed scripting language. |
Aug 03, 2022 |
|
|
Scala |
279 |
Statically typed DOM API for Scala.js |
Nov 24, 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 |
|
|
F# |
6 |
Turn URLs into statically-typed data |
Jan 08, 2023 |
|
|
JavaScript |
2 |
Statically typed properties for object literals |
Aug 27, 2018 |
|
|
C |
4 |
Generate statically typed list for C |
Aug 19, 2020 |
|
|
OCaml |
1063 |
A statically-typed, functional typesetting system |
May 25, 2023 |
|
|
OCaml |
140 |
An ML-like statically-typed Erlang |
May 21, 2023 |
|
|
Haskell |
4 |
A statically-typed functional scripting language |
Feb 09, 2023 |
|
|
Agda |
35 |
Basics of the dependently-typed functional language Agda ^_^ |
Mar 07, 2023 |
|
|
Agda |
12 |
A Dependently Typed Linear π-Calculus in Agda |
Nov 10, 2022 |
|
|
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 |
9 |
A statically-typed script language with JIT |
Oct 01, 2021 |
|
|
Rust |
4 |
A statically typed, interpreted, embeddable programming language |
Nov 12, 2022 |
|
|
TypeScript |
9 |
A [statically-typed] social ideas platform 🐕 |
Feb 16, 2023 |
|
|
Kotlin |
4 |
A statically typed configuration library for Kotlin |
Nov 07, 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 |
|
|
Swift |
302 |
A statically typed dependency injector for Swift. |
Jun 27, 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 |
|
|
Scala |
6 |
statically typed dom wrappers for scala-js |
Dec 01, 2021 |
|
|
Elm |
583 |
A statically typed site generator for Elm. |
May 06, 2023 |
|
|
Rust |
13 |
Statically typed programming language transpiled to C |
Apr 30, 2023 |
|
|
Python |
3 |
Statically typed Python 3 CSV generation helpers |
Sep 26, 2019 |
|
|
Rust |
4 |
🚧 a statically typed easy language 🚧 |
Apr 21, 2023 |