SaaSHub helps you find the best software and product alternatives Learn more →
Top 16 static-typing Open-Source Projects
-
react-redux-typescript-guide
The complete guide to static typing in "React & Redux" apps using TypeScript
-
utility-types
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
-
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
-
prometeo
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
-
-
micropython-stubber
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or pylint
-
cpython
Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim (by juancarlospaco)
-
mypy-baseline
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Project mention: Ultimate Guide & Resources to Enhancing Your ReactJS Skills || 16 GitHub repositories | dev.to | 2023-08-14Level up your React app's state management with this guide to using Redux with TypeScript here.
There are a bunch of awesome type utility libraries that may boost your works on types, like ts-toolbelt, utility-types, SimplyTyped, etc., which you can already use.
This time, I visited Groovy. Given my biased first impression about Java and the JVM, I wasn't too exited! But I couldn't have been more wrong! 😁
I primarily rely on that approach to benchmark ArkType's types.
Project mention: DaScript: Fast and Versatile Scripting Language | news.ycombinator.com | 2023-10-27
There are open source ports that have a clear license now: https://github.com/Shen-Language/shen-sources/blob/master/LI...
That said, even if I don't use this a lot, I pay for Shen Professional to support development. Like you, I got and read the book and like the ideas, and I decided to support the project because I rather be sold something explicit (a programming language) than who knows what I get sold through a language that is open source but depends on a few or even one big company to pay the devs.
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
static-typing related posts
- Library for benchmarking TS types
- Introducing @arktype/attest: A new approach to type-level testing and benchmarks
- DaScript: Fast and Versatile Scripting Language
- War Thunder game engine released under BSD license
- Using ArkType for TypeScript runtime validation
- preferred way to type guard api response body?
- Valid runtime typing with Dilav
-
A note from our sponsor - SaaSHub
www.saashub.com | 23 Apr 2024
Index
What are some of the best open-source static-typing projects? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | react-redux-typescript-guide | 13,288 |
| 2 | utility-types | 5,342 |
| 3 | groovy | 5,089 |
| 4 | arktype | 3,350 |
| 5 | typesafe-actions | 2,414 |
| 6 | typing | 1,544 |
| 7 | umka-lang | 967 |
| 8 | daScript | 788 |
| 9 | prometeo | 610 |
| 10 | shen-sources | 344 |
| 11 | phantom-types | 184 |
| 12 | micropython-stubber | 151 |
| 13 | cpython | 134 |
| 14 | mypy-baseline | 47 |
| 15 | mypy-zope | 38 |
| 16 | Melon-Language | 5 |
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com