• Joined on 2020-06-10
conlang website
Updated 2024-03-14 19:57:00 -04: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
messing with the badge thing from cccamp 2023
Updated 2023-08-19 07:19:29 -04:00
rhi/quox
quantitative extensional type theory
Updated 2024-03-27 13:01:26 -04:00
Updated 2023-12-23 12:27:18 -05:00
yummy.cricket website
Updated 2024-03-02 12:23:31 -05:00