# ucsd-progsys/liquid-fixpoint

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

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

ucsd-progsys/liquid-fixpoint, dépôt open source à 167 étoiles sur GitHub. Carte Prototype de RepoMasters. Horn Clause Constraint Solving for Liquid Types

| Champ | Valeur |
| --- | --- |
| Propriétaire | [ucsd-progsys](https://repo.masters-masters.com/owners/ucsd-progsys) |
| Étoiles | 167 |
| Forks | 72 |
| Langage | [Haskell](https://repo.masters-masters.com/languages/haskell) |
| Licence | BSD-3-Clause |
| Création | 2013 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [ucsd-progsys/liquid-fixpoint](https://github.com/ucsd-progsys/liquid-fixpoint) |

## Fiche du dépôt

Horn Clause Constraint Solving for Liquid Types

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

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

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

## D’autres dépôts Haskell

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.