quantitative observational extensional type theory

Обновлено 2 дней назад

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

Обновлено 2 недель назад

conlang website

Обновлено 1 месяц назад

static gallery site generator for niss.website

Обновлено 1 месяц назад

yummy.cricket website

Обновлено 1 месяц назад

applies ips patches. remember those?

Обновлено 2 месяцев назад

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

Обновлено 3 месяцев назад

Обновлено 7 месяцев назад

advent of code 2020

Обновлено 7 месяцев назад

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

Обновлено 8 месяцев назад

vim syntax highlighting for beluga

Обновлено 1 год назад