static gallery site generator for niss.website
Updated 2024-11-05 08:45:17 -05:00
yummy.cricket website
Updated 2024-11-03 22:07:49 -05:00
Updated 2024-10-22 19:56:11 -04:00
yet another static site
Updated 2024-09-27 12:13:29 -04:00
conlang website
Updated 2024-09-25 19:39:30 -04:00
rhi/quox
quantitative extensional type theory
Updated 2024-07-18 11:59:09 -04:00
"A tutorial implementation of dynamic pattern unification", modernised
Updated 2024-06-23 12:06:03 -04:00
Updated 2024-05-16 16:08:56 -04:00
vim syntax highlighting for quox
Updated 2024-05-16 16:05:21 -04:00
misc scripts & junk of varying usefulness
Updated 2024-01-11 14:33:38 -05:00
Updated 2023-12-19 20:09:28 -05:00
Updated 2023-11-05 06:10:51 -05:00
basic test framework for idris 2
Updated 2023-09-23 11:39:21 -04:00
messing with the badge thing from cccamp 2023
Updated 2023-08-19 07:19:29 -04:00
rhi/bqn-ibus
input method for bqn
Updated 2022-12-28 14:17:15 -05:00
in mercury. and bqn again sometimes
Updated 2022-12-21 18:16:30 -05:00
Updated 2022-10-06 11:30:54 -04:00
vim syntax highlighting for beluga
Updated 2022-07-15 08:56:37 -04:00
maude syntax highlighting for vim [incomplete]
Updated 2022-03-22 23:46:25 -04:00