martindisch/Extender
A very simple tool to change all file extensions in a folder
Public GitHub Catalog
Discovered Oct 2, 2026
martindisch / Ants
Some AntMe bots of mine
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.
#25919383GitHub System ID
martindischOrganization / User
PublicVisibility
ActiveCatalog Status
More from martindisch
martindisch/SiteGen
A C# tool to generate parts of a website based on a directory structure
martindisch/Renamer
A small C# tool to obfuscate directory names
martindisch/Feeder
An improved version of my "Updroid" application, informing the user about updates from websites that don't provide feeds