← Back to repositories

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.