npmjs.org "type level programming" keyword
@rivo-ts/math 0.0.0-dev.20240707.5
Type-level math operations for TypeScript. This package is essentially an independent part of the...11 versions - Latest release: over 1 year ago - 29 downloads last month - 1 maintainer
typescript-typelevel 0.10.0 💰
Lift your code to the next level.27 versions - Latest release: 5 months ago - 2 dependent packages - 1 dependent repositories - 94 downloads last month - 5 stars on GitHub - 1 maintainer
hkt-core 1.3.3
🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guar...13 versions - Latest release: 2 months ago - 169 downloads last month - 69 stars on GitHub - 1 maintainer
typelevel-assert 0.2.2 💰
Convenient assertions for typelevel programming.5 versions - Latest release: about 3 years ago - 3 dependent packages - 2 dependent repositories - 63 downloads last month - 0 stars on GitHub - 1 maintainer
rivo 0.0.0-dev.20240701
🤖 The ultimate library you need for composable type-level programming in TypeScript, powered by HKT.1 version - Latest release: over 1 year ago - 46 downloads last month - 1 maintainer