All essential TypeScript types in one place 🤙
-
Updated
May 19, 2024 - TypeScript
All essential TypeScript types in one place 🤙
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.
Generically derive traversals, lenses, and prisms.
Interactive exercises to get familiar with TypeScript's most advanced features
Mu (μ) is a purely functional framework for building micro services.
A Haskell library for typesafe music composition
Type-level well-kinded natural numbers.
Additional types and types adjusted utilities for TypeScript
Presburger arithmetic solver for built-in type-level naturals
⌛ Type-safe time units in Haskell
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
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.
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Access Scala language features on the type-level
A well-typed Directed Acyclic Graph in Haskell
A macro for defining type operators in Rust.
Purescript refinement types with runtime checking
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."