atondwal/liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
Public GitHub Catalog
Discovered Sep 27, 2026
atondwal / xmonad-config
My xmonad configuration
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.
#9803636GitHub System ID
atondwalOrganization / User
PublicVisibility
ActiveCatalog Status
More from atondwal
atondwal/lh-errors
LH files that give errors.
atondwal/lh-tests
Tests of the liquid haskell compiler error messages.
atondwal/liquidhaskell
Liquid Types For Haskell