tetrep/vimrc
vim config
Public GitHub Catalog
Discovered Sep 25, 2026
tetrep / QuickLogs
QuickLogs For Helpdesk @ RPI
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.
#3662480GitHub System ID
tetrepOrganization / User
PublicVisibility
ActiveCatalog Status
More from tetrep
tetrep/hiprofessor
hiprofessor is a webapp (first-stage plans are RPI-specific) that will show students a map of class schedules and professor office hours.
tetrep/rpi_pi
plain and boring interface for RPI's printers
tetrep/Unlimited_Gyrocorn
Public repository.