# GitHub repos by epfl-lara [Home](https://repo.masters-masters.com/en) › [epfl-lara](https://repo.masters-masters.com/en/owners/epfl-lara) All 3 public GitHub repos by epfl-lara in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by epfl-lara 3 public repos by epfl-lara in the catalog, most starred first. - [epfl-lara/stainless · ★ 410 · Scala · Alpha](https://repo.masters-masters.com/en/repos/epfl-lara/stainless) - [epfl-lara/leon · ★ 168 · Scala · Prototype](https://repo.masters-masters.com/en/repos/epfl-lara/leon) - [epfl-lara/ScalaZ3 · ★ 127 · Scala · Prototype](https://repo.masters-masters.com/en/repos/epfl-lara/ScalaZ3) ## See epfl-lara on GitHub - [https://github.com/epfl-lara](https://github.com/epfl-lara) --- Data: GitHub