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
Public GitHub Catalog
Discovered Sep 24, 2026
giu / pcihaskell
Haskell implementation of algorithms presented in the 'Programming Collective Intelligence' book (Work In Progress)
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.
#1154341GitHub 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
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.
giu/hsr-twitterverse
Python Implementation of the HSR Twitterverse