edmcman/pygments-latex-styles
Demonstrate various styles of highlighting source code in LaTeX using pygments
Public GitHub Catalog
Discovered Sep 28, 2026
edmcman / stp
Simple Theorem Prover.
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.
#12618430GitHub System ID
edmcmanOrganization / User
PublicVisibility
ActiveCatalog Status
More from edmcman
edmcman/aslr-test
Public repository.
edmcman/cmu-ece-thesis-template
Public repository.
edmcman/experiment-scripts
Automatically run experiments, upload results to google docs, analyze them using R, and include the analysis in LaTeX.