- Joined on Jun 10, 2020
vim syntax highlighting for beluga
Updated 1 year ago
yummy.cricket website
Updated 4 weeks ago
static gallery site generator for niss.website
Updated 2 weeks ago
forked from https://github.com/diagrams/svg-builder
Updated 12 months ago
advent of code 2020
Updated 10 months ago
do not use this, it turns out having this many weak pointers puts too much stress on the garbage collector
Updated 1 month ago
applies ips patches. remember those?
Updated 5 months ago
fork of https://github.com/bos/filemanip that can look thru symlinks
Updated 6 months ago
conlang website
Updated 4 months ago
quantitative observational extensional type theory
Updated 3 weeks ago
not that one, another one. just some reexports from the stdlib
Updated 3 months ago
yet another static site
Updated 3 months ago