# GitHub repos by michaelt [Home](https://repo.masters-masters.com/en) › [michaelt](https://repo.masters-masters.com/en/owners/michaelt) All 2 public GitHub repos by michaelt in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by michaelt 2 public repos by michaelt in the catalog, most starred first. - [michaelt/martin-lof · ★ 835 · TeX · Beta](https://repo.masters-masters.com/en/repos/michaelt/martin-lof) - [michaelt/streaming · ★ 108 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/michaelt/streaming) ## See michaelt on GitHub - [https://github.com/michaelt](https://github.com/michaelt) --- Data: GitHub