# GitHub repos by WilfredTA [Home](https://repo.masters-masters.com/en) › [WilfredTA](https://repo.masters-masters.com/en/owners/WilfredTA) The public GitHub repo by WilfredTA in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by WilfredTA 1 public repo by WilfredTA in the catalog, most starred first. - [WilfredTA/formal-methods-curriculum · ★ 169 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/WilfredTA/formal-methods-curriculum) ## See WilfredTA on GitHub - [https://github.com/WilfredTA](https://github.com/WilfredTA) --- Data: GitHub