Home News Notes Projects Themes |
Apps

Projects

Table of Contents

A curated list of personal projects, grouped by what they do rather than by the language they are written in. Some are published here as microsites; the others link to their GitHub repositories. More can be found on my GitHub profile.

My projects

Development tools and environments

codex-sandbox
A personal development environment for Codex CLI, powered by rootless Podman. It exposes only explicitly selected working directories while keeping Codex's own Linux sandbox enabled.
.emacs.d
My Emacs configuration 🙂

Music and data

somafm-recentlib
A Java library that retrieves recently played tracks from SomaFM.
somafm-song-history
A Java application that archives SomaFM broadcasts using somafm-recentlib.
deezer-datasync
A Java application that backs up my Deezer data to a private GitHub repository. Git may be an unusual persistence layer, but it gives me readable diffs and a straightforward history.

Exploration

xkcd-geohashing.el
An implementation of XKCD's geohashing algorithm for Emacs.

Experiments and write-ups

fennel-sandbox
Code written while learning Fennel, in particular for the TIC-80 fantasy console.
gralhix-osint-exercises
My solutions to Sofia Santos' OSINT exercises.

Tools and services I rely on

A deliberately personal and incomplete list of the tools and services I return to regularly. Where possible, I support the people who build and maintain them.

Software

Debian
The stable foundation of my computing environments.
Linux
The kernel underneath it.
GNU
The command-line tools at the core of my environment.
Emacs
Where I write code and notes, and publish this website.
i3 and StumpWM
Window managers.
pass
A command-line password manager.
Signal
A private messaging app.
Termux
A Linux environment on Android that lets me work and publish on the go.
tmux
A terminal multiplexer that keeps my sessions organized.
WireGuard
A simple, dependable way to connect to my network.

Online services

SomaFM
Listener-supported radio, and one of my main sources of ambient music.
OpenStreetMap
The free, editable map.
gpx.studio
My go-to editor for GPX tracks.