Pinned Loading

1. VivaldiMods VivaldiMods Public

   Stuff for Vivaldi Browser, Bringing together various gists into a repo

   JavaScript 78 14

2. luetage/vivaldi_forum_mod luetage/vivaldi_forum_mod Public

   Modular extension. Themes, fixes and modifications.

   JavaScript 26 10

3. LinksPanel LinksPanel Public

   Links Panel, collecting all the links on a page

   HTML 13 2

4. VS-Code-Language-Server-for-Dafny VS-Code-Language-Server-for-Dafny Public

   Forked from DafnyVSCode/Dafny-VSCode

   VS Code Dafny Language Server with Tactics Support

   TypeScript 1

5. StopKillingGamesReport StopKillingGamesReport Public

   A latex stop killing games report, targeted at the general public or lawmakers, to accompany the campaign

   TeX

6. yt-dlp/yt-dlp yt-dlp/yt-dlp Public

   A feature-rich command-line audio/video downloader

   Python 77.2k 6.1k