All essential TypeScript types in one place 🤙
-
Updated
May 22, 2024 - TypeScript
All essential TypeScript types in one place 🤙
Additional types and types adjusted utilities for TypeScript
Mu (μ) is a purely functional framework for building micro services.
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Extensible records and variants indexed by a type-level Red-Black tree.
A collection of my Typescript patterns and experiments with a focus on type-level programming.
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.
Generically derive traversals, lenses, and prisms.
Extract or modify pieces of arbitrarily nested types with type lenses
Collections raised to the type-level in Scala
Sized sequence data-types
⌛ Type-safe time units in Haskell
A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.
Type-level well-kinded natural numbers.
Presburger arithmetic solver for built-in type-level naturals
A tool for evaluating TypeScript types step by step.
Access Scala language features on the type-level
Type-level stack operations.
Playground for exploring type-level programming.
"Generic generics" / higher-kinded APIs in stable Rust.
Add a description, image, and links to the type-level-programming topic page so that developers can more easily learn about it.
To associate your repository with the type-level-programming topic, visit your repo's landing page and select "manage topics."