margnus1/dotfiles
Public repository.
Public GitHub Catalog
Discovered Oct 2, 2026
margnus1 / gitlab-mirrors
A set of scripts adding the ability of managing remote mirrors to GitLab.
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.
#23928237GitHub System ID
margnus1Organization / User
PublicVisibility
ActiveCatalog Status
More from margnus1
margnus1/micro-c
A compiler from a C language subset to MIPS.
margnus1/croc
Where's croc game and player
margnus1/planning
A simple planning problem solver