ucsd-progsys/liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

Haskell160 stars66 forksBSD-3-Clause

Momentum

ucsd-progsys/liquid-fixpoint has 160 GitHub stars.

It currently ranks #8380 daily, #9579 weekly, #13425 monthly by momentum on Trending Repos; its best-ever rank is #1773.

Rankings

PeriodRankScore

Daily

#83800.0

Weekly

#95790.0

Monthly

#134250.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #1773

Format

Markdown

[![ucsd-progsys/liquid-fixpoint badge](https://trending-repos.com/badge/ucsd-progsys/liquid-fixpoint.svg?v=3)](https://trending-repos.com/repositories/ucsd-progsys/liquid-fixpoint?utm_source=github&utm_medium=badge)

ucsd-progsys/liquid-fixpoint

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

ucsd-progsys/liquid-fixpoint

Momentum

Rankings

Engagement

Similar trending repositories

Embeds