ucsd-progsys/liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

Haskell160 stars66 forksBSD-3-Clause

Rankings

Daily

#6599

Weekly

#12067

Monthly

#15499

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/ucsd-progsys/liquid-fixpoint.svg)

HTML

<img src="https://trending-repos.com/badge/ucsd-progsys/liquid-fixpoint.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/ucsd-progsys/liquid-fixpoint.svg