My $HOME/.config/guix directory, minus current symlink
Updated 14 hours ago
An opinionated profile management tool for the GNU Guix package manager.
Updated 1 day ago
Personal Guix channel.
Updated 2 days ago
Updated 5 days ago
Updated 2 months ago
A re-implementation of https://hellowordl.net/ aiming to support any UTF-8 encodable language
Updated 3 months ago
Scripts to retrieve and install How to Design Programs 2nd edition.
Updated 6 months ago
Updated 7 months ago
website
Archived
My personal website
Updated 9 months ago
The directory page for this server
Updated 9 months ago
Fix simplecast RSS
Updated 9 months ago
Julia Lisp (Jisp)
Updated 9 months ago
Generate tidal charts
Updated 11 months ago
Updated 1 year ago
An experiment in functional Python
Updated 1 year ago