# GitHub repos by ymherklotz [Home](https://repo.masters-masters.com/en) › [ymherklotz](https://repo.masters-masters.com/en/owners/ymherklotz) All 2 public GitHub repos by ymherklotz in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by ymherklotz 2 public repos by ymherklotz in the catalog, most starred first. - [ymherklotz/verismith · ★ 125 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/ymherklotz/verismith) - [ymherklotz/vericert · ★ 101 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/ymherklotz/vericert) ## See ymherklotz on GitHub - [https://github.com/ymherklotz](https://github.com/ymherklotz) --- Data: GitHub