• Joined on 2017-10-29
Line-based editor as a web app
Updated 2019-08-13 21:35:31 +00:00
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
Program for translating smallfuck with unbounded tape to xed
Updated 2018-07-12 20:05:36 +00:00
Helper commands for simple daemons
Updated 2018-07-16 13:58:17 +00:00