# GitHub repos by ucsd-progsys

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

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

All 3 public GitHub repos by ucsd-progsys in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by ucsd-progsys

3 public repos by ucsd-progsys in the catalog, most starred first.

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

## See ucsd-progsys on GitHub

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

---
Data: GitHub