type-level-programming topic
type-plus
Additional types and types adjusted utilities for TypeScript
walk-that-type
A tool for evaluating TypeScript types step by step.
o-clock
:hourglass: Type-safe time units in Haskell
HashedExpression
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
type-natural
Type-level well-kinded natural numbers.
type-lenses
Extract or modify pieces of arbitrarily nested types with type lenses
ts-spec
A small library for testing your types
correttore
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 Pro...