- Joined on Jun 10, 2020
vim syntax highlighting for beluga
Updated 2 years ago
advent of code 2020
Updated 1 year ago
fork of https://github.com/bos/filemanip that can look thru symlinks
Updated 1 year ago
not that one, another one. just some reexports from the stdlib
Updated 11 months ago
do not use this, it turns out having this many weak pointers puts too much stress on the garbage collector
Updated 9 months ago
applies ips patches. remember those?
Updated 5 months ago
input method for bqn
Updated 4 months ago
yea
Updated 4 months ago
vim syntax highlighting for bqn
Updated 2 months ago
maude syntax highlighting for vim [incomplete]
Updated 2 months ago
forked from https://github.com/diagrams/svg-builder
Updated 2 months ago
conlang website
Updated 2 months ago
yet another static site
Updated 2 months ago
fork of https://github.com/edwinb/idris2-vim
Updated 2 months ago
fork of https://github.com/stefan-hoeck/idris2-elab-util that uses sirdi
Updated 3 weeks ago