# Dépôts de ucsd-progsys

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

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

Les 3 dépôts GitHub publics de ucsd-progsys, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters.

## Dépôts de ucsd-progsys

3 dépôts publics de ucsd-progsys au catalogue, du plus étoilé au moins étoilé.

- [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)
- [ucsd-progsys/liquid-fixpoint · ★ 167 · Haskell · Prototype](https://repo.masters-masters.com/repos/ucsd-progsys/liquid-fixpoint)

## Voir ucsd-progsys sur GitHub

- [https://github.com/ucsd-progsys](https://github.com/ucsd-progsys)

---
Données : GitHub