Pinned

1. devpytech/musicpage devpytech/musicpage Public

   Python powered music controlling webpage with websockets and bottle py (works with spotify, vlc, audacious, and others)

   CSS 12 3

2. startclean/Chrome-Extension startclean/Chrome-Extension Public

   Chrome Extension for Start Clean - a simple new tab page for chrome that shows your apps and a link list you control.

   JavaScript 22 6

3. .Xresources theme for rofi and terminal .Xresources theme for rofi and terminal

   1

   2

   !    *----------------------------*

   3

   !    |  Dotfiles  -  .Xresources  |

   4

   !    *----------------------------*

   5

4. pdfgrep-wasm pdfgrep-wasm Public

   compiling pdfgrep with emscripten

   JavaScript 7

5. devito devito Public

   Forked from devitocodes/devito

   Code generation framework for automated finite difference computation

   Python 1

6. pdfgrep.com pdfgrep.com Public

   pdf search with viewer powered by pdfgrep-wasm

   TypeScript 1