GitHub repos by nomeata
8 public repos by nomeata in the catalog, most starred first.
- nomeata/incredibleStars: 398HaskellAlpha
- nomeata/arbttStars: 365HaskellAlpha
- nomeata/inspection-testingStars: 192HaskellPrototype
- nomeata/loogleStars: 160LeanPrototype
- nomeata/ghc-proofsStars: 145HaskellPrototype
- nomeata/udp-broadcast-relayStars: 133CPrototype
- nomeata/ghc-justdoitStars: 125HaskellPrototype
- nomeata/gtk-vector-screenshotStars: 111CPrototype