pjstadig/dotfiles
My personal dotfiles.
Public GitHub Catalog
Discovered Sep 27, 2026
pjstadig / conjecture-mode
Public repository discovered through GitHub real-time crawl.
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.
#8954736GitHub System ID
pjstadigOrganization / User
PublicVisibility
ActiveCatalog Status
More from pjstadig
pjstadig/emacs-dotfiles
My homeshick emacs dotfiles castle.
pjstadig/lein-ring
Ring plugin for Leiningen
pjstadig/protocol-gotchas
A little tutorial on the gotchas of defprotocols/defrecords