# GitHub repos by LS-Lab

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

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

The public GitHub repo by LS-Lab in RepoMasters, the trading card game of open source: stars, language, tier and card.

## GitHub repos by LS-Lab

1 public repo by LS-Lab in the catalog, most starred first.

- [LS-Lab/KeYmaeraX-release · ★ 105 · Scala · Prototype](https://repo.masters-masters.com/en/repos/LS-Lab/KeYmaeraX-release)

## See LS-Lab on GitHub

- [https://github.com/LS-Lab](https://github.com/LS-Lab)

---
Data: GitHub