Popularity
4.3
Growing
Activity
0.0
Stable
3
3
3
Monthly Downloads: 2
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
type-level-tf alternatives and similar packages
Based on the "type" category.
Alternatively, view type-level-tf alternatives based on common mentions on social networks and blogs.
-
type-combinators
Type level lists, pairs, sums, their operations, and their properties. -
type-equality
Haskell definition of type equality, coercion/cast and other operations. -
type-unary
Type-level and typed unary natural numbers, vectors, inequality proofs -
type-combinators-singletons
Interop between type-combinators and singletons library -
type-level-integers
Provides integers lifted to the type level. -
type-combinators-quote
Quasiquoters for the 'type-combinators' library.
Learn any GitHub repo in 59 seconds
Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.
Promo
getonboard.dev
Do you think we are missing an alternative of type-level-tf or a related project?