| 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 |
| rustedpy/result |
1,198 |
|
33 |
43 |
over 2 years ago |
23 |
December 05, 2023 |
4 |
mit |
Python |
| A simple Rust like Result type for Python 3. Fully type annotated. |
| erikerlandson/coulomb |
139 |
|
2 |
8 |
about 2 years ago |
13 |
September 03, 2025 |
11 |
apache-2.0 |
Scala |
| coulomb: unit analysis for Scala |
| vitalets/babel-plugin-runtyper |
117 |
|
12 |
14 |
about 4 years ago |
9 |
June 06, 2018 |
9 |
|
JavaScript |
| ⚡️ Runtime type-checker for JavaScript |
| vitorsvieira/dilate |
80 |
|
0 |
0 |
over 8 years ago |
2 |
October 19, 2017 |
0 |
apache-2.0 |
Scala |
| Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time. |
| LostInDarkMath/pedantic-python-decorators |
22 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
apache-2.0 |
Python |
| Some useful decorators for any situation. Includes runtime type checking. |
| 01mf02/kontroli-rs |
19 |
|
0 |
0 |
over 2 years ago |
0 |
|
1 |
gpl-3.0 |
Rust |
| Alternative implementation of the logical framework Dedukti in Rust |
| jgaskins/primalize-jsonapi |
9 |
|
0 |
0 |
almost 8 years ago |
6 |
June 11, 2018 |
1 |
mit |
Ruby |
| ThaFog/Safetify |
7 |
|
0 |
1 |
about 7 years ago |
14 |
February 19, 2019 |
0 |
mit |
TypeScript |
| Value type safing utility |
| TheLartians/TypeScript2Python |
6 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
mit |
TypeScript |
| 🚃 Transpile TypeScript types to Python! A TypeScript to Python type transpiler. |
