My (bad|unfinished|wip) Guix packages or code.
Updated 6 years ago
Randon playing around with sets in Python
Updated 5 years ago
Textboard software
Updated 5 years ago
Purely for historical interest
Updated 5 years ago
Purely for historical interest
Updated 5 years ago
Program for translating smallfuck with unbounded tape to xed
Updated 5 years ago
Helper commands for simple daemons
Updated 5 years ago
Adding maybe-types to C
Updated 5 years ago
Updated 5 years ago
Specification and python tooling for verifying SSH keys web-of-trust style
Updated 5 years ago
Converts irssi-default-format IRC logs into mp3s
Updated 5 years ago
Updated 5 years ago
IRC title bot
Updated 4 years ago
Updated 4 years ago
Updated 4 years ago
Generates a cavern. Uses LÖVE
Updated 4 years ago
zgrep's nix user repo
Updated 4 years ago
Protocol and reference implementation for direct messaging over raw Ethernet
Updated 4 years ago
Line-based editor as a web app
Updated 4 years ago
Most basic possible hex(un)dump
Updated 4 years ago