| microsoft/TypeScript |
96,332 |
|
310,521 |
559,981 |
about 2 years ago |
2,904 |
December 09, 2023 |
6,069 |
apache-2.0 |
TypeScript |
| TypeScript is a superset of JavaScript that compiles to clean JavaScript output. |
| python/mypy |
17,070 |
|
3,042 |
6,707 |
about 2 years ago |
112 |
November 23, 2023 |
2,655 |
other |
Python |
| Optional static typing for Python |
| facebook/pyre-check |
6,606 |
|
23 |
31 |
about 2 years ago |
77 |
October 19, 2023 |
146 |
mit |
OCaml |
| Performant type-checking for python. |
| google/pytype |
4,464 |
|
44 |
107 |
about 2 years ago |
193 |
December 08, 2023 |
146 |
other |
Python |
| A static type analyzer for Python code |
| kaleidawave/ezno |
1,994 |
|
0 |
3 |
about 2 years ago |
10 |
November 20, 2023 |
30 |
mit |
Rust |
| A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance |
| scalameta/metals |
1,983 |
|
0 |
60 |
about 2 years ago |
53 |
October 17, 2023 |
259 |
apache-2.0 |
Scala |
| Scala language server with rich IDE features 🚀 |
| soutaro/steep |
1,305 |
|
4 |
41 |
about 2 years ago |
104 |
November 09, 2023 |
106 |
mit |
Ruby |
| Static type checker for Ruby |
| mtshiba/pylyzer |
1,123 |
|
0 |
1 |
over 2 years ago |
50 |
December 09, 2023 |
22 |
mit |
Rust |
| A fast static code analyzer & language server for Python |
| fsprojects/Rezoom.SQL |
634 |
|
4 |
3 |
almost 6 years ago |
23 |
December 01, 2017 |
|
mit |
F# |
| Statically typechecks a common SQL dialect and translates it to various RDBMS backends |
| RussBaz/enforce |
529 |
|
12 |
3 |
about 4 years ago |
7 |
June 11, 2017 |
35 |
|
Python |
| Python 3.5+ runtime type checking for integration testing and data validation |
