Pinned

1. ProfessionalWiki/Maps Public

   🗺 Maps is the MediaWiki extension that enables visualization of geographic data with dynamic embedded maps.

   JavaScript 61 58

2. slideslive-slides-dl Public

   slideslive slides downloading script

   Python 110 23

3. IRV Public

   Instant-runoff voting tool

   JavaScript 18 12

4. letterboxd-watchlist-torrent-rss Public

   grabs letterboxd watchlist and turns it into a rss feed of torrent magnet links.

   PHP 16 1