Bits and pieces of happybot might eventually wind up here.

Updated 6 days ago

Adding maybe-types to C

Updated 1 week ago

Updated 4 weeks ago

zgrep's nix user repo

Updated 1 month ago

Helper commands for simple daemons

Updated 1 month ago

Program for translating smallfuck with unbounded tape to xed

Updated 1 month ago

Purely for historical interest

Updated 1 month ago

Purely for historical interest

Updated 1 month ago

Purely for historical interest

Updated 1 month ago

An optimizing brainfuck interpreter in js

Updated 1 month ago

Textboard software

Updated 2 months ago

Randon playing around with sets in Python

Updated 3 months ago

https://hydraz.club

Updated 8 months ago

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

Updated 10 months ago

A dependent type theory

Updated 11 months ago