# GitHub repos by au-ts

<https://repo.masters-masters.com/en/owners/au-ts>

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

All 2 public GitHub repos by au-ts in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by au-ts

2 public repos by au-ts in the catalog, most starred first.

- [au-ts/lionsos · ★ 284 · C · Alpha](https://repo.masters-masters.com/en/repos/au-ts/lionsos)
- [au-ts/cogent · ★ 184 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/au-ts/cogent)

## See au-ts on GitHub

- [https://github.com/au-ts](https://github.com/au-ts)

---
Data: GitHub