Type level programming Packages

Convenient assertions for typelevel programming.

Lift your code to the next level.

Type-level math operations for TypeScript. This package is essentially an independent part of the Rivo project which does not rely on `@rivo-ts/core`. Many other packages in the Rivo project depend on this package.

🤖 The ultimate library you need for composable type-level programming in TypeScript, powered by HKT.

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