# GitHub repos by andrejbauer [Home](https://repo.masters-masters.com/en) › [andrejbauer](https://repo.masters-masters.com/en/owners/andrejbauer) All 4 public GitHub repos by andrejbauer in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by andrejbauer 4 public repos by andrejbauer in the catalog, most starred first. - [andrejbauer/plzoo · ★ 1,600 · OCaml · Beta](https://repo.masters-masters.com/en/repos/andrejbauer/plzoo) - [andrejbauer/homotopy-type-theory-course · ★ 314 · TeX · Alpha](https://repo.masters-masters.com/en/repos/andrejbauer/homotopy-type-theory-course) - [andrejbauer/spartan-type-theory · ★ 277 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/andrejbauer/spartan-type-theory) - [andrejbauer/marshall · ★ 128 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/andrejbauer/marshall) ## See andrejbauer on GitHub - [https://github.com/andrejbauer](https://github.com/andrejbauer) --- Data: GitHub