Top 6 TypeScript type-level-programming Projects

ts-essentials

4 3,552 4.6 TypeScript

All essential TypeScript types in one place 🤙
hotscript

4 3,332 6.5 TypeScript

A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.

Project mention: Configuring ESLint, Prettier, and TypeScript Together | Josh Goldberg | /r/typescript | 2023-05-04

Nested ternaries are a sin. The only time you should be using them is in complex type generics because that's the only official way to write them. But we may no longer even have that excuse now with the existence of HotScript's higher order types. https://github.com/gvergnaud/hotscript

SurveyJS

surveyjs.io sponsored

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.
type-plus

1 350 9.6 TypeScript

Additional types and types adjusted utilities for TypeScript

Project mention: Trying to Understand Copilot's Type Spaghetti | news.ycombinator.com | 2024-04-15

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.

free-types

2 141 7.3 TypeScript

A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.

Project mention: Free-types: Higher kinded types in TypeScript | /r/hypeurls | 2023-06-09

talk-typelevel-ts

1 28 0.0 TypeScript

Code samples for my talk “Type-level programming in TypeScript”
brainfuck-ts-types

1 6 10.0 TypeScript

A brainfuck interpreter running within the typescript type system

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).