Protocol and reference implementation for direct messaging over raw Ethernet
Updated 2019-08-04 08:31:12 +00:00
Dungeon crawler, with emphasis on the crawler
Updated 2020-12-11 14:06:00 +00:00
Generates a cavern. Uses LÖVE
Updated 2019-06-28 07:42:57 +00:00
Updated 2019-06-02 19:00:55 +00:00
A simple Cards Against Humanity bot
Updated 2024-01-14 18:24:34 +00:00
Updated 2019-02-12 05:20:31 +00:00
Updated 2018-11-13 11:20:02 +00:00
IRC title bot
Updated 2023-09-10 10:23:40 +00:00
Converts irssi-default-format IRC logs into mp3s
Updated 2018-10-28 04:58:35 +00:00
A chip-8 interpreter in python (pyglet)
Updated 2023-01-14 20:55:34 +00:00
Specification and python tooling for verifying SSH keys web-of-trust style
Updated 2018-09-08 18:31:10 +00:00
Adding maybe-types to C
Updated 2018-08-11 18:02:21 +00:00
zgrep's nix user repo
Updated 2019-07-12 02:59:12 +00:00
Program for translating smallfuck with unbounded tape to xed
Updated 2018-07-12 20:05:36 +00:00
Bits and pieces of happybot might eventually wind up here.
Updated 2023-12-31 04:10:19 +00:00
Helper commands for simple daemons
Updated 2018-07-16 13:58:17 +00:00
Purely for historical interest
Updated 2023-09-27 20:53:53 +00:00
Purely for historical interest
Updated 2018-07-09 13:46:20 +00:00
Purely for historical interest
Updated 2018-07-09 13:29:43 +00:00
Updated 2018-09-08 16:16:43 +00:00