# Dépôts de jespercockx [Accueil](https://repo.masters-masters.com/) › [jespercockx](https://repo.masters-masters.com/owners/jespercockx) Le dépôt GitHub public de jespercockx en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source. ## Dépôts de jespercockx 1 dépôt public de jespercockx au catalogue pour l’instant. - [jespercockx/agda-lecture-notes · ★ 135 · TeX · Prototype](https://repo.masters-masters.com/repos/jespercockx/agda-lecture-notes) ## Voir jespercockx sur GitHub - [https://github.com/jespercockx](https://github.com/jespercockx) --- Données : GitHub