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. Learn more →
Top 8 TypeScript Type System Projects
-
HypeScript
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
-
SurveyJS
Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.
-
zui
Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.
-
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.
View on GitHub
Project mention: Functions and algorithms implemented purely with TypeScript's type system | /r/patient_hackernews | 2023-07-05
That’s just how type programming looks.
Here’s (https://github.com/unional/type-plus/blob/main/packages/type...) a human written example that’s well-factored and uses loads of subtypes to clarify what it’s doing - but it’s still going to read like the black tongue of Mordor to you if you’re not familiar with how this kind of type stuff is structured and used.
And factoring all that stuff out may help readability but it doesn’t help comprehension - try and trace what the actual underlying type definitions for some of those utility types like IdentityEqual<> are actually doing (look at https://github.com/unional/type-plus/blob/main/packages/type...) and realize the rabbit hole runs deep in this stuff.
Project mention: Cicada – A FOSS, Cross-Platform Version of GitHub Actions and Gitlab CI | news.ycombinator.com | 2023-11-06There is a collision in names:
Cicada, this CI tool, uses a DSL (domain specific language) to write configuration, and this DSL is referred to as "Cicada language", and blasted in marketing copy as a "real programming language" on https://cicada.sh/
However, this is a completely different language from Cicada language, a programming language and theorem prover hosted at https://cicada-lang.org/ and https://github.com/cicada-lang/cicada
This name collision is very confusing, and I wonder why Cicada the CI tool didn't just stick to python, since it is also a "real programming language"
TypeScript Type System related posts
- Collection of TypeScript type challenges with online judge
- Show HN: Python-Type-Challenges, master Python typing with online exercises
- How much I learn about typescript in 2 weeks
- 📜 Length of String in TypeScript
- Type-challenges: Collection of TypeScript type challenges with online judge
- Where to start?
- How Can I TypeScript this Handy Method for Applying Mixins to Javascript Classes?
-
A note from our sponsor - InfluxDB
www.influxdata.com | 25 Apr 2024
Index
What are some of the best open-source Type System projects in TypeScript? This list will help you:
Project | Stars | |
---|---|---|
1 | type-challenges | 39,998 |
2 | HypeScript | 1,894 |
3 | zui | 1,731 |
4 | meta-typing | 1,523 |
5 | typetype | 405 |
6 | type-plus | 350 |
7 | TypeGame | 272 |
8 | cicada | 92 |
Sponsored