Bits and pieces of happybot might eventually wind up here.

Updated 8 hours ago

Adding maybe-types to C

Updated 3 days ago

Updated 3 weeks ago

zgrep's nix user repo

Updated 3 weeks ago

Helper commands for simple daemons

Updated 4 weeks 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 9 months ago

A dependent type theory

Updated 11 months ago