โ† Back to repositories
ucsd-progsys

ucsd-progsys/liquid-fixpoint

github.com/ucsd-progsys/liquid-fixpoint โ†—
Haskell

Stars

โญ 160

PRs Reviewed

2

Bot Comments

3

Primary Language

Haskell

Merge Rate

100.0%

Avg Time to Merge

14h

Avg Additions

+24

Avg Deletions

-16

Avg Files Changed

2

AI Review Products#

AI code review products active on this repository.