# Dépôts de epfl-lara

<https://repo.masters-masters.com/owners/epfl-lara>

[Accueil](https://repo.masters-masters.com/) › [epfl-lara](https://repo.masters-masters.com/owners/epfl-lara)

Les 3 dépôts GitHub publics de epfl-lara, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters.

## Dépôts de epfl-lara

3 dépôts publics de epfl-lara au catalogue, du plus étoilé au moins étoilé.

- [epfl-lara/stainless · ★ 410 · Scala · Alpha](https://repo.masters-masters.com/repos/epfl-lara/stainless)
- [epfl-lara/leon · ★ 168 · Scala · Prototype](https://repo.masters-masters.com/repos/epfl-lara/leon)
- [epfl-lara/ScalaZ3 · ★ 127 · Scala · Prototype](https://repo.masters-masters.com/repos/epfl-lara/ScalaZ3)

## Voir epfl-lara sur GitHub

- [https://github.com/epfl-lara](https://github.com/epfl-lara)

---
Données : GitHub