type-level-programming topic
type-level-typescript-workshop
Interactive exercises to get familiar with TypeScript's most advanced features
purescript-refined
Purescript refinement types with runtime checking
ts-transfromer-typerep
Bring type level information to value level.
red-black-record
Extensible records and variants indexed by a type-level Red-Black tree.
feature.scala
Access Scala language features on the type-level
talk-typelevel-ts
Code samples for my talk “Type-level programming in TypeScript”
symbols
Symbol manipulation
prakaar
A type programming language which compiles to and interops with type-level TypeScript
free-types
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.
hotscript
A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.