Topic: "github"
coq/bot
A (Coq Development Team) bot written in OCaml
Language: OCaml - Size: 6.73 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 23 - Forks: 16
betagouv/deliverable
CLI tool to generate your project deliverables from your Github repositories.
Language: TypeScript - Size: 11.1 MB - Last synced at: about 18 hours ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
abes-esr/ezmaster-globs Fork of 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
Language: Shell - Size: 113 KB - Last synced at: about 20 hours ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
swh/devel/swh-lister
Listers
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 9