# GitHub repos by argumentcomputer [Home](https://repo.masters-masters.com/en) › [argumentcomputer](https://repo.masters-masters.com/en/owners/argumentcomputer) All 3 public GitHub repos by argumentcomputer in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by argumentcomputer 3 public repos by argumentcomputer in the catalog, most starred first. - [argumentcomputer/yatima-lang-alpha · ★ 445 · Rust · Alpha](https://repo.masters-masters.com/en/repos/argumentcomputer/yatima-lang-alpha) - [argumentcomputer/yatima · ★ 148 · Lean · Prototype](https://repo.masters-masters.com/en/repos/argumentcomputer/yatima) - [argumentcomputer/ix · ★ 107 · Rust · Prototype](https://repo.masters-masters.com/en/repos/argumentcomputer/ix) ## See argumentcomputer on GitHub - [https://github.com/argumentcomputer](https://github.com/argumentcomputer) --- Data: GitHub