All essential TypeScript types in one place 🤙

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

Additional types and types adjusted utilities for TypeScript

Interactive exercises to get familiar with TypeScript's most advanced features

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.

Tartak is a functional programming language that compiles to TypeScript types.

A proof of concept of a tree shakable Zod alternative. This library aims to have a 1:1 Zod compatible API, but with fine grain control over the final bundle size. This was done by a combination of Proxies and type-level programming.

A tool for evaluating TypeScript types step by step.

🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.

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

Extract or modify pieces of arbitrarily nested types with type lenses

A type programming language which compiles to and interops with type-level TypeScript

Bring type level information to value level.

A small library for testing your types

A handy collection of TypeScript plain and generic type definitions and interfaces.

Type-level Peano arithmetic, lists and more using TypeScript 4.1's recursive conditional types

Playground for exploring type-level programming.

A brainfuck interpreter running within the typescript type system

A collection of useful operators to make type-level programming in TypeScript easier

Highly experimental TypeScript project providing a type-level lambda.