An optimizing brainfuck interpreter in js

Updated 11 hours ago

Textboard software

Updated 2 weeks ago

Randon playing around with sets in Python

Updated 3 weeks ago

https://hydraz.club

Updated 5 months ago

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

Updated 7 months ago

A dependent type theory

Updated 8 months ago