โ† Back to repositories
ucsd-progsys

ucsd-progsys/liquidhaskell

github.com/ucsd-progsys/liquidhaskell โ†—
Haskell

Stars

โญ 1.3K

PRs Reviewed

3

Bot Comments

12

Primary Language

Haskell

Merge Rate

100.0%

Avg Time to Merge

3w

Avg Additions

+303

Avg Deletions

-151

Avg Files Changed

16

AI Review Products#

AI code review products active on this repository.