Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / giu / wikipedia-tex-source-extractor
Public GitHub Catalog Discovered Sep 25, 2026

giu / wikipedia-tex-source-extractor

Wikipedia TeX Source Extractor is a Greasemonkey user script that allows you to extract the TeX source of a formula on Wikipedia with a single click

View repository on GitHub ↗ View creator profile Browse directory

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.

#3068418GitHub System ID
giuOrganization / User
PublicVisibility
ActiveCatalog Status

More from giu

↗

giu/hacker-news-threshold

Hacker News Threshold is a Greasemonkey user script that allows you to highlight threads on Hacker News which have a number of points greather than a specified threshold

Discovered
↗

giu/hacker-news-threadify

Hacker News Threadify is a little piece of JavaScript that once executed on Hacker News it allows you to collapse and expand comments in a thread.

Discovered
↗

giu/pcihaskell

Haskell implementation of algorithms presented in the 'Programming Collective Intelligence' book (Work In Progress)

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.