# ucsd-progsys/liquid-fixpoint

<https://repo.masters-masters.com/en/repos/ucsd-progsys/liquid-fixpoint>

[Home](https://repo.masters-masters.com/en) › [ucsd-progsys](https://repo.masters-masters.com/en/owners/ucsd-progsys) › [liquid-fixpoint](https://repo.masters-masters.com/en/repos/ucsd-progsys/liquid-fixpoint)

ucsd-progsys/liquid-fixpoint has 167 stars on GitHub. Its RepoMasters card: Prototype tier. Horn Clause Constraint Solving for Liquid Types Language: Haskell.

| Field | Value |
| --- | --- |
| Owner | [ucsd-progsys](https://repo.masters-masters.com/en/owners/ucsd-progsys) |
| Stars | 167 |
| Forks | 72 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | BSD-3-Clause |
| Created | 2013 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [ucsd-progsys/liquid-fixpoint](https://github.com/ucsd-progsys/liquid-fixpoint) |

## Repository

Horn Clause Constraint Solving for Liquid Types

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by ucsd-progsys

- [ucsd-progsys/liquidhaskell · ★ 1,338 · Haskell · Beta](https://repo.masters-masters.com/en/repos/ucsd-progsys/liquidhaskell)
- [ucsd-progsys/elsa · ★ 194 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/ucsd-progsys/elsa)

## Nearby in Haskell

- [nushio3/learn-haskell · ★ 167 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/nushio3/learn-haskell)
- [github/deli · ★ 167 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/github/deli)
- [reflex-frp/reflex-vty · ★ 167 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/reflex-frp/reflex-vty)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.