# Dépôts de andrejbauer [Accueil](https://repo.masters-masters.com/) › [andrejbauer](https://repo.masters-masters.com/owners/andrejbauer) Les 4 dépôts GitHub publics de andrejbauer, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de andrejbauer 4 dépôts publics de andrejbauer au catalogue, du plus étoilé au moins étoilé. - [andrejbauer/plzoo · ★ 1 600 · OCaml · Bêta](https://repo.masters-masters.com/repos/andrejbauer/plzoo) - [andrejbauer/homotopy-type-theory-course · ★ 314 · TeX · Alpha](https://repo.masters-masters.com/repos/andrejbauer/homotopy-type-theory-course) - [andrejbauer/spartan-type-theory · ★ 277 · OCaml · Alpha](https://repo.masters-masters.com/repos/andrejbauer/spartan-type-theory) - [andrejbauer/marshall · ★ 128 · OCaml · Prototype](https://repo.masters-masters.com/repos/andrejbauer/marshall) ## Voir andrejbauer sur GitHub - [https://github.com/andrejbauer](https://github.com/andrejbauer) --- Données : GitHub