ucsd-progsys/linter-hdevtools
A Haskell Linter using HLint
Public GitHub Catalog
Discovered Sep 26, 2026
ucsd-progsys / liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
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.
#8011618GitHub 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/lh-workshop
Materials for 2-hr LiquidHaskell Workshop