# ucsd-progsys/liquidhaskell

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

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

ucsd-progsys/liquidhaskell has 1,338 stars on GitHub. Its RepoMasters card: Beta tier. Liquid Types For Haskell Language: Haskell.

| Field | Value |
| --- | --- |
| Owner | [ucsd-progsys](https://repo.masters-masters.com/en/owners/ucsd-progsys) |
| Stars | 1,338 |
| Forks | 167 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | BSD-3-Clause |
| Created | 2012 |
| Topics | haskell, refinement-types, smt, verification |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [ucsd-progsys/liquidhaskell](https://github.com/ucsd-progsys/liquidhaskell) |

## Repository

Liquid Types For Haskell

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by ucsd-progsys

- [ucsd-progsys/elsa · ★ 194 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/ucsd-progsys/elsa)
- [ucsd-progsys/liquid-fixpoint · ★ 167 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/ucsd-progsys/liquid-fixpoint)

## Nearby in Haskell

- [HuwCampbell/grenade · ★ 1,449 · Haskell · Beta](https://repo.masters-masters.com/en/repos/HuwCampbell/grenade)
- [google/haskell-trainings · ★ 1,408 · Haskell · Beta](https://repo.masters-masters.com/en/repos/google/haskell-trainings)
- [input-output-hk/plutus-pioneer-program · ★ 1,366 · Haskell · Beta](https://repo.masters-masters.com/en/repos/input-output-hk/plutus-pioneer-program)
- [avh4/elm-format · ★ 1,335 · Haskell · Beta](https://repo.masters-masters.com/en/repos/avh4/elm-format)
- [haskell/aeson · ★ 1,307 · Haskell · Beta](https://repo.masters-masters.com/en/repos/haskell/aeson)
- [quchen/articles · ★ 1,307 · Haskell · Beta](https://repo.masters-masters.com/en/repos/quchen/articles)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.