Repository navigation

#

type-level-programming

All essential TypeScript types in one place 🤙

TypeScript
3968
2 天前
gvergnaud/hotscript

A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.

TypeScript
3630
8 个月前

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

Rust
1372
2 个月前

Generically derive traversals, lenses, and prisms.

Haskell
441
4 个月前

Additional types and types adjusted utilities for TypeScript

TypeScript
396
6 小时前
Haskell
364
6 年前
Haskell
334
1 年前

Interactive exercises to get familiar with TypeScript's most advanced features

TypeScript
242
3 年前

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.

TypeScript
161
2 年前

Tartak is a functional programming language that compiles to TypeScript types.

TypeScript
119
1 年前

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.

TypeScript
94
1 年前

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

Scala
80
8 年前

Trying to get back all the stuff I had in JavaScript.

Haskell
69
7 年前

A macro for defining type operators in Rust.

Rust
64
8 年前

🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.

TypeScript
59
4 个月前

⌛ Type-safe time units in Haskell

Haskell
50
7 个月前

A tool for evaluating TypeScript types step by step.

TypeScript
45
2 年前

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

Haskell
43
9 个月前