quantitative observational extensional type theory

Actualizado hace 1 día

yummy.cricket website

Actualizado hace 3 días

static gallery site generator for niss.website

Actualizado hace 1 semana

do not use this, it turns out having this many weak pointers puts too much stress on the garbage collector

Actualizado hace 2 semanas

yet another static site

Actualizado hace 2 meses

not that one, another one. just some reexports from the stdlib

Actualizado hace 2 meses

conlang website

Actualizado hace 3 meses

applies ips patches. remember those?

Actualizado hace 4 meses

fork of https://github.com/bos/filemanip that can look thru symlinks

Actualizado hace 5 meses

advent of code 2020

Actualizado hace 9 meses

forked from https://github.com/diagrams/svg-builder

Actualizado hace 10 meses

vim syntax highlighting for beluga

Actualizado hace 1 año