yummy.cricket website
Updated 2025-03-12 00:28:51 +01:00
nix packages
Updated 2025-03-03 23:05:16 +01:00
[ now part of https://git.rhiannon.website/rhi/nisspkgs! ] force inkscape to use xwayland
Updated 2025-03-03 22:41:29 +01:00
conlang website
Updated 2025-02-18 18:35:46 +01:00
static gallery site generator for niss.website
Updated 2025-01-31 18:41:51 +01:00
forĝejo has no gists equivalent, so here we are
Updated 2025-01-09 19:20:55 +01:00
yet another static site
Updated 2024-12-05 06:41:37 +01:00
Updated 2024-11-26 17:26:38 +01:00
Updated 2024-11-23 03:42:17 +01:00
Updated 2024-10-23 01:56:11 +02:00
rhi/quox
quantitative extensional type theory
Updated 2024-07-18 17:59:09 +02:00
"A tutorial implementation of dynamic pattern unification", modernised
Updated 2024-06-23 18:06:03 +02:00
vim syntax highlighting for quox
Updated 2024-05-16 22:05:21 +02:00
misc scripts & junk of varying usefulness
Updated 2024-01-11 20:33:38 +01:00
Updated 2023-12-20 02:09:28 +01:00
Updated 2023-11-05 12:10:51 +01:00
basic test framework for idris 2
Updated 2023-09-23 17:39:21 +02:00
messing with the badge thing from cccamp 2023
Updated 2023-08-19 13:19:29 +02:00