Join the platform over 36 million developers
call home for hosting code, managing projects, and building their best
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
Parts of my emacs configuration
Collection of minetest mods
Assorted collection of personal configuration files
My doctoral thesis
Seeing something unexpected? Take a look at the
GitHub profile guide.