GitHub topics: github
coq/bot
A (Coq Development Team) bot written in OCaml
Language: OCaml - Size: 6.73 MB - Last synced at: 2 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: 1 day 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: 1 day ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
