# Dépôts de ymherklotz [Accueil](https://repo.masters-masters.com/) › [ymherklotz](https://repo.masters-masters.com/owners/ymherklotz) Les 2 dépôts GitHub publics de ymherklotz, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de ymherklotz 2 dépôts publics de ymherklotz au catalogue, du plus étoilé au moins étoilé. - [ymherklotz/verismith · ★ 125 · Haskell · Prototype](https://repo.masters-masters.com/repos/ymherklotz/verismith) - [ymherklotz/vericert · ★ 101 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/ymherklotz/vericert) ## Voir ymherklotz sur GitHub - [https://github.com/ymherklotz](https://github.com/ymherklotz) --- Données : GitHub