IRC title bot

Updated 1 week ago

Converts irssi-default-format IRC logs into mp3s

Updated 2 weeks ago

A chip-8 interpreter in python (pyglet)

Updated 3 weeks ago

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

Updated 1 month ago

Updated 1 month ago

Bits and pieces of happybot might eventually wind up here.

Updated 1 month ago

Adding maybe-types to C

Updated 2 months ago

zgrep's nix user repo

Updated 2 months ago

Helper commands for simple daemons

Updated 3 months ago

Program for translating smallfuck with unbounded tape to xed

Updated 3 months ago

Purely for historical interest

Updated 3 months ago

Purely for historical interest

Updated 3 months ago

Purely for historical interest

Updated 3 months ago

An optimizing brainfuck interpreter in js

Updated 3 months ago

Textboard software

Updated 4 months ago

Randon playing around with sets in Python

Updated 5 months ago

https://hydraz.club

Updated 10 months ago

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

Updated 1 year ago

A dependent type theory

Updated 1 year ago