Repositories

ucsd-progsys repositories

1 repositories with indexed issues

Show all repositories
ucsd-progsys/liquidhaskellHaskell

Liquid Types For Haskell

Last commit May 15, 2026

 (1,306 stars) (157 forks) (20 indexed issues) (20 open good first issues)