Pinned

1. bash-prompt-generator Public

   Customize your Bash Prompt by setting the PS1 variable.

   JavaScript 190 17

2. pdf-meta-editor Public

   Interactive cli for changing metadata of pdf files

   JavaScript 18 6

3. DNS-Server-Test Public

   Automatically test the performance of a bunch of DNS servers to find the best one

   Python 10 1

4. Mathe Public

   Alle Mathe-Mitschriften der Oberstufe [GERMAN]

   TeX 2