jgmdev/Grease
PHP editor written in PHP using wxPHP
Public GitHub Catalog
Discovered Sep 26, 2026
jgmdev / dev-php-ext
Temporary repo to create a small manual that explains how to develop a PHP extension.
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.
#6874205GitHub System ID
jgmdevOrganization / User
PublicVisibility
ActiveCatalog Status
More from jgmdev
jgmdev/phar-gui
A graphical user interface to work with PHP Phar files.
jgmdev/fossilize
A small php script to manage fossil repositories hosted on a web server.
jgmdev/deficiencias
Aplicación web con interfaz movil para reportar hoyos en la carretera.