vim syntax highlighting for beluga
Updated 2022-07-15 08:56:37 -04:00
yummy.cricket website
Updated 2024-03-02 12:23:31 -05:00
static gallery site generator for niss.website
Updated 2023-08-06 00:50:11 -04:00
Updated 2023-12-23 12:27:18 -05:00
advent of code 2020
Updated 2020-12-07 15:28:42 -05:00
applies ips patches. remember those?
Updated 2021-12-28 04:26:33 -05:00
fork of https://github.com/bos/filemanip that can look thru symlinks
Updated 2021-04-17 15:25:37 -04:00
conlang website
Updated 2024-03-14 19:57:00 -04:00
rhi/quox
quantitative extensional type theory
Updated 2024-03-27 13:01:26 -04:00
not that one, another one. just some reexports from the stdlib
Updated 2021-07-09 02:23:39 -04:00
yet another static site
Updated 2023-12-27 19:00:40 -05:00
rhi/bqn-ibus
input method for bqn
Updated 2022-12-28 14:17:15 -05:00
vim syntax highlighting for bqn
Updated 2022-03-15 10:38:57 -04:00
yea
Updated 2022-01-25 16:55:51 -05:00
maude syntax highlighting for vim [incomplete]
Updated 2022-03-22 23:46:25 -04:00
misc scripts & junk of varying usefulness
Updated 2024-01-11 14:33:38 -05:00
basic test framework for idris 2
Updated 2023-09-23 11:39:21 -04:00
Updated 2022-10-06 11:30:54 -04:00
in mercury. and bqn again sometimes
Updated 2022-12-21 18:16:30 -05:00