# GitHub repos by verse-lab

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

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

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

## GitHub repos by verse-lab

5 public repos by verse-lab in the catalog, most starred first.

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

## See verse-lab on GitHub

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

---
Data: GitHub