Type-level-numbers Alternatives

Similar projects and alternatives to type-level-numbers based on common topics and language

type-eq

0 5 0.0 Haskell type-level-numbers VS type-eq

Type equality evidence you can carry around
funspection

0 0 0.0 Haskell type-level-numbers VS funspection

Type-level function utilities
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
uom-plugin

0 30 0.0 Haskell type-level-numbers VS uom-plugin

Units of measure as a GHC typechecker plugin
typelevel-rewrite-rules

4 61 1.2 Haskell type-level-numbers VS typelevel-rewrite-rules

rewrite rules for type-level equalities
write-you-a-haskell

4 3,304 0.0 Haskell type-level-numbers VS write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
morloc

3 193 9.0 Haskell type-level-numbers VS morloc

A typed, polyglot, functional language

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better type-level-numbers alternative or higher similarity.

Suggest an alternative to type-level-numbers

type-level-numbers reviews and mentions

Posts with mentions or reviews of type-level-numbers. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning type-level-numbers yet.
Tracking mentions began in Dec 2020.

Stats

Basic type-level-numbers repo stats

Mentions

Stars

Activity

0.0

Last Commit

almost 2 years ago

Shimuuar/type-level-numbers is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

The primary programming language of type-level-numbers is Haskell.

Popular Comparisons