mrtnmueller/ruleml-relfun
Public repository.
Public GitHub Catalog
Discovered Sep 27, 2026
mrtnmueller / juser-customid
Apply a custom (or random) user id when a user is created.
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.
#10222231GitHub System ID
mrtnmuellerOrganization / User
PublicVisibility
ActiveCatalog Status
More from mrtnmueller
mrtnmueller/juser-email-on-deactivation
Joomla plugin which allows to send a custom email whenever a user is deactivated.
mrtnmueller/elFinder
Open-source file manager for web, written in JavaScript using jQuery and jQuery UI
mrtnmueller/LeagueTimer
A "League of Legends" jungle timer for dual monitor setup.