Repository navigation
type-level-programming
- Website
- Wikipedia
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.
🌸 Learn Japanese grammar with TypeScript
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Generically derive traversals, lenses, and prisms.
Additional types and types adjusted utilities for TypeScript
A Haskell library for typesafe music composition
Mu (μ) is a purely functional framework for building micro services.
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.
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Trying to get back all the stuff I had in JavaScript.
🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.
A macro for defining type operators in Rust.
⌛ Type-safe time units in Haskell
A tool for evaluating TypeScript types step by step.
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.