Sujet: "github"
coq/bot
A (Coq Development Team) bot written in OCaml
langage: OCaml - taille: 6,73 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a 9 mois - étoiles: 23 - forks: 16
abes-esr/ezmaster-globs Fork de Inist-CNRS/ezmaster-globs 📦
Github LOcal Backup Server : scripts utilisés pour sauvegarder les dépôts github abes-esr sur les serveurs internes de l'Abes
langage: Shell - taille: 117 ko - dernière synchronisation: il y a 2 jours - enregistré: il y a 4 mois - étoiles: 2 - forks: 0
betagouv/deliverable
CLI tool to generate your project deliverables from your Github repositories.
langage: TypeScript - taille: 11,1 Mo - dernière synchronisation: il y a 2 jours - enregistré: il y a plus de 2 ans - étoiles: 2 - forks: 0
swh/devel/swh-lister
Listers
dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 1 - forks: 9