Stars
🎵🎩 Alfred workflow to control your Spotify library at your fingertips
Lean certificates accompanying Navier-Stokes and Euler results
Conditional Lean formalization and numerical certificate for prime gaps at most 186.
Module for TOTP Client for PowerShell
Parse XML output from SMS Backup & Restore Android app
GlareDB: A light and fast SQL database for analytics
a tool for backing up your data using rsync (if you want to get help, use https://lists.sourceforge.net/lists/listinfo/rsnapshot-discuss)
Pull Reddit user data into a SQLite database
A simple tool that prints the current working directory of the currently focused window
A Microsoft Windows® USB installation media preparer for GNU+Linux
CoronaCheck - iOS Application
ote updates a packages' go.mod file with a comment next to all dependencies that are test dependencies; identifying them as such.
Replaces d2 code in markdown into image links to its rendered versions
Export Spotify playlists using the Web API. Analyze them in the Jupyter notebook.
[UNMAINTAINED] Browservice: Browse the modern web on historical browsers
A collection of code snippets for the D2 language, that can be used in any text editor that supports the use of snippets.