ucsd-progsys / liquidhaskell
git clone https://github.com/ucsd-progsys/liquidhaskell.git
Liquid Types For Haskell
+0
stars, 24h · #52,389
+~0
stars, 7 days · #53,916
+~0
stars, 30 days · #54,511
1.3k
★ total
166
forks · 461 open issues
Star history (as recorded here)
LanguageHaskell
LicenseBSD-3-Clause
Created2012-09-22 (14y ago)
Last push5d ago
OwnerOrganization