| google/closure-compiler |
7,175 |
|
490 |
180 |
about 2 years ago |
135 |
November 13, 2023 |
889 |
apache-2.0 |
Java |
| A JavaScript checker and optimizer. |
| millsp/ts-toolbelt |
6,011 |
|
260 |
973 |
over 3 years ago |
928 |
March 10, 2021 |
64 |
apache-2.0 |
TypeScript |
| 👷 TypeScript's largest type utility library |
| sindresorhus/ow |
3,740 |
|
2,115 |
457 |
almost 3 years ago |
44 |
January 26, 2023 |
35 |
mit |
TypeScript |
| Function argument validation for humans |
| TypeStrong/ts-loader |
3,406 |
|
33,607 |
50,889 |
over 2 years ago |
168 |
November 15, 2023 |
75 |
mit |
TypeScript |
| TypeScript loader for webpack |
| explosion/thinc |
2,774 |
|
569 |
67 |
about 2 years ago |
229 |
September 22, 2023 |
16 |
mit |
Python |
| 🔮 A refreshing functional take on deep learning, compatible with your favorite libraries |
| sdiehl/write-you-a-haskell |
2,744 |
|
0 |
0 |
over 6 years ago |
0 |
|
21 |
mit |
Haskell |
| Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) |
| agda/agda |
2,281 |
|
69 |
0 |
about 2 years ago |
40 |
November 30, 2023 |
1,016 |
other |
Haskell |
| Agda is a dependently typed programming language / interactive theorem prover. |
| gcanti/tcomb |
1,883 |
|
4,019 |
276 |
almost 7 years ago |
74 |
November 15, 2018 |
32 |
mit |
JavaScript |
| Type checking and DDD for JavaScript |
| teal-language/tl |
1,829 |
|
0 |
0 |
about 2 years ago |
0 |
|
69 |
mit |
Lua |
| The compiler for Teal, a typed dialect of Lua |
| ruby/rbs |
1,825 |
|
0 |
59 |
about 2 years ago |
104 |
November 21, 2023 |
125 |
other |
Ruby |
| Type Signature for Ruby |
