ucsd-progsys/linter-hdevtools
A Haskell Linter using HLint
Public GitHub Catalog
Discovered Oct 7, 2026
ucsd-progsys / lh-workshop
Materials for 2-hr LiquidHaskell Workshop
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.
#35652422GitHub System ID
ucsd-progsysOrganization / User
PublicVisibility
ActiveCatalog Status
More from ucsd-progsys
ucsd-progsys/lh-errors
LH files that give errors.
ucsd-progsys/nanomaly
Public repository.
ucsd-progsys/liquid-types-spacemacs
Spacemacs Layer for LiquidHaskell