# GitHub repos by nomeata

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

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

All 8 public GitHub repos by nomeata in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by nomeata

8 public repos by nomeata in the catalog, most starred first.

- [nomeata/incredible · ★ 398 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/nomeata/incredible)
- [nomeata/arbtt · ★ 365 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/nomeata/arbtt)
- [nomeata/inspection-testing · ★ 192 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/nomeata/inspection-testing)
- [nomeata/loogle · ★ 160 · Lean · Prototype](https://repo.masters-masters.com/en/repos/nomeata/loogle)
- [nomeata/ghc-proofs · ★ 145 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/nomeata/ghc-proofs)
- [nomeata/udp-broadcast-relay · ★ 133 · C · Prototype](https://repo.masters-masters.com/en/repos/nomeata/udp-broadcast-relay)
- [nomeata/ghc-justdoit · ★ 125 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/nomeata/ghc-justdoit)
- [nomeata/gtk-vector-screenshot · ★ 111 · C · Prototype](https://repo.masters-masters.com/en/repos/nomeata/gtk-vector-screenshot)

## See nomeata on GitHub

- [https://github.com/nomeata](https://github.com/nomeata)

---
Data: GitHub