# GitHub repos by lampepfl

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

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

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

## GitHub repos by lampepfl

5 public repos by lampepfl in the catalog, most starred first.

- [lampepfl/progfun-wiki · ★ 1,787 · HTML · Beta](https://repo.masters-masters.com/en/repos/lampepfl/progfun-wiki)
- [lampepfl/gears · ★ 306 · Scala · Alpha](https://repo.masters-masters.com/en/repos/lampepfl/gears)
- [lampepfl/tacit · ★ 141 · Scala · Prototype](https://repo.masters-masters.com/en/repos/lampepfl/tacit)
- [lampepfl/dotty-macro-examples · ★ 135 · Scala · Prototype](https://repo.masters-masters.com/en/repos/lampepfl/dotty-macro-examples)
- [lampepfl/monadic-reflection · ★ 110 · Scala · Prototype](https://repo.masters-masters.com/en/repos/lampepfl/monadic-reflection)

## See lampepfl on GitHub

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

---
Data: GitHub