Updated 1 month ago

IRC title bot

Updated 1 month ago

Converts irssi-default-format IRC logs into mp3s

Updated 1 month ago

A chip-8 interpreter in python (pyglet)

Updated 2 months ago

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

Updated 3 months ago

Updated 3 months ago

Bits and pieces of happybot might eventually wind up here.

Updated 3 months ago

Adding maybe-types to C

Updated 4 months ago

zgrep's nix user repo

Updated 4 months ago

Helper commands for simple daemons

Updated 5 months ago

Program for translating smallfuck with unbounded tape to xed

Updated 5 months ago

Purely for historical interest

Updated 5 months ago

Purely for historical interest

Updated 5 months ago

Purely for historical interest

Updated 5 months ago

An optimizing brainfuck interpreter in js

Updated 5 months ago

Textboard software

Updated 6 months ago

Randon playing around with sets in Python

Updated 7 months ago

https://hydraz.club

Updated 1 year ago

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

Updated 1 year ago

A dependent type theory

Updated 1 year ago