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.

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Generically derive traversals, lenses, and prisms.

A Haskell library for typesafe music composition

Additional types and types adjusted utilities for TypeScript

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.

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 macro for defining type operators in Rust.

🧠 Type-safe memory units

⌛ Type-safe time units in Haskell

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

Implementation of game of life and a bunch of primitive recursive functions at the type level in rust

Symbol manipulation

Type-level well-kinded natural numbers.

Access Scala language features on the type-level

A tool for evaluating TypeScript types step by step.