Repositories

ucsd-progsys repositories

1 supported repositories

Show repositories with indexed issues
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)