Scheme 0 0

My (bad|unfinished|wip) Guix packages or code.

Updated 5 years ago

Python 0 0

Randon playing around with sets in Python

Updated 5 years ago

Textboard software

Updated 5 years ago

Purely for historical interest

Updated 4 years ago

Purely for historical interest

Updated 4 years ago

Program for translating smallfuck with unbounded tape to xed

Updated 4 years ago

Helper commands for simple daemons

Updated 4 years ago

Adding maybe-types to C

Updated 4 years ago

Updated 4 years ago

Specification and python tooling for verifying SSH keys web-of-trust style

Updated 4 years ago

Converts irssi-default-format IRC logs into mp3s

Updated 4 years ago

Updated 4 years ago

IRC title bot

Updated 4 years ago

Updated 4 years ago

Updated 4 years ago

Generates a cavern. Uses LÖVE

Updated 3 years ago

zgrep's nix user repo

Updated 3 years ago

Protocol and reference implementation for direct messaging over raw Ethernet

Updated 3 years ago

Python 0 0

Line-based editor as a web app

Updated 3 years ago

Most basic possible hex(un)dump

Updated 3 years ago