Handy scripts for niche tasks.
Name Checker/: Checks whether a project name is available on GitHub, npm, and PyPI.Git Tools/: Git and GitHub helper scripts. Currently includes merged PR commit listing.Timelapse/: Scripts for filtering image sets and building a timelapse video.