Unified querying, transformation, and modification of JSON, TOML, YAML, XML, INI, HCL, KDL and CSV.

me

A breadth-first version of the UNIX find command

Black Visual Studio Code color theme

🎵🎩 Alfred workflow to control your Spotify library at your fingertips

A text editor

Lean certificates accompanying Navier-Stokes and Euler results

Native Go port of Dagre 0.8.5

Conditional Lean formalization and numerical certificate for prime gaps at most 186.

Module for TOTP Client for PowerShell

A x86_64 Linux debugger 🐛🐛🐛

Generate d2 diagrams from Terraform

Parse XML output from SMS Backup & Restore Android app

GlareDB: A light and fast SQL database for analytics

My NixOS config.

Power Delete Suite for Reddit

Timemachine like backups on OpenBSD

a tool for backing up your data using rsync (if you want to get help, use https://lists.sourceforge.net/lists/listinfo/rsnapshot-discuss)

Encrypted overlay filesystem written in Go

EncFS: an Encrypted Filesystem for FUSE.

Pull Reddit user data into a SQLite database

Clipboard management using dmenu

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

Virtual filesystem library written in golang

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.