Dev

A showcase and list of the tools I've built, along with notes on my development work.

GitHub Qiita

Dev environment

My environment is managed declaratively with Nix (and Home Manager), and on top of that I lean on tools like uv and pixi.

I used to be a Python person, but since I started working with AI coding agents I've stopped being precious about languages — I pick whatever fits the task, and lately I lean on Zig a lot. I mostly let the agents handle the implementation, using Codex and Claude Code together.

Rather than inventing a new algorithm from scratch, I prefer to build on and extend what already exists. I also whip up little utilities and extensions whenever an idea strikes.

GitHub activity

As of 2026/06 (built with GitHub Readme Stats)

Dev blog

No dev posts yet.

Contributions

Tools & extensions I've built

See everything on GitHub