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