devlucas/gnome-shell-pomodoro
Pomodoro extension for gnome-shell
Public GitHub Catalog
Discovered Sep 29, 2026
devlucas / puphpet
Vagrant/Puppet GUI
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#14173428GitHub System ID
devlucasOrganization / User
PublicVisibility
ActiveCatalog Status
More from devlucas
devlucas/SonataMediaBundle
Media management bundle on steroid for Symfony2
devlucas/SonataAdminBundle
AdminBundle - The missing Symfony2 Admin Generator
devlucas/SonataUserBundle
Integrates the UserBundle into the Sonata Project