clash-lang/ghc-typelits-extra
Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Public GitHub Catalog
Discovered Oct 7, 2026
clash-lang / ghc-tcplugins-extra
Utilities for writing GHC type-checker plugins
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#36010798GitHub System ID
clash-langOrganization / User
PublicVisibility
ActiveCatalog Status
More from clash-lang
clash-lang/ghc-typelits-natnormalise
Normalise GHC.TypeLits.Nat equations
clash-lang/clash-lang.github.io
The CLaSH website
clash-lang/clash-prelude
CLaSH prelude library containing datatypes and functions for circuit design