# Dépôts de verse-lab

<https://repo.masters-masters.com/owners/verse-lab>

[Accueil](https://repo.masters-masters.com/) › [verse-lab](https://repo.masters-masters.com/owners/verse-lab)

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

## Dépôts de verse-lab

5 dépôts publics de verse-lab au catalogue, du plus étoilé au moins étoilé.

- [verse-lab/veil · ★ 350 · Lean · Alpha](https://repo.masters-masters.com/repos/verse-lab/veil)
- [verse-lab/loom · ★ 167 · Lean · Prototype](https://repo.masters-masters.com/repos/verse-lab/loom)
- [verse-lab/velvet · ★ 134 · Lean · Prototype](https://repo.masters-masters.com/repos/verse-lab/velvet)
- [verse-lab/ceramist · ★ 127 · Coq · Prototype](https://repo.masters-masters.com/repos/verse-lab/ceramist)
- [verse-lab/toychain · ★ 113 · Coq · Prototype](https://repo.masters-masters.com/repos/verse-lab/toychain)

## Voir verse-lab sur GitHub

- [https://github.com/verse-lab](https://github.com/verse-lab)

---
Données : GitHub