# ucsd-progsys/liquidhaskell

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

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

ucsd-progsys/liquidhaskell, dépôt open source à 1 338 étoiles sur GitHub. Carte Bêta de RepoMasters. Liquid Types For Haskell Langage : Haskell.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [ucsd-progsys](https://repo.masters-masters.com/owners/ucsd-progsys) |
| Étoiles | 1 338 |
| Forks | 167 |
| Langage | [Haskell](https://repo.masters-masters.com/languages/haskell) |
| Licence | BSD-3-Clause |
| Création | 2012 |
| Sujets | haskell, refinement-types, smt, verification |
| Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) |
| Voir sur GitHub | [ucsd-progsys/liquidhaskell](https://github.com/ucsd-progsys/liquidhaskell) |

## Fiche du dépôt

Liquid Types For Haskell

Rang des dépôts qui ont 700 à 1 999 ★ sur GitHub. Probabilité publiée par carte tirée : 6 %. Rareté : Rare.

## Autres dépôts de ucsd-progsys

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

## D’autres dépôts Haskell

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

---
Données : GitHub · Illustration : image publique du projet, pixelisée par RepoMasters.