funspection alternatives and similar packages

Based on the "Type System" category.
Alternatively, view funspection alternatives based on common mentions on social networks and blogs.

typelevel-rewrite-rules

8.4 0.0 funspection VS typelevel-rewrite-rules

rewrite rules for type-level equalities
uom-plugin

7.7 0.0 funspection VS uom-plugin

Units of measure as a GHC typechecker plugin

Static code analysis for 29 languages.

Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

Promo www.sonarqube.org

type-level-numbers

4.9 4.2 funspection VS type-level-numbers

Implementation of type level natural and signed integer numbers in haskell using type families.
type-eq

4.0 0.0 funspection VS type-eq

Type equality evidence you can carry around