Explore - gec git gec git

rhi/ yummy.cricket

yummy.cricket website

Updated 2025-03-12 00:28:51 +01:00

rhi/ nisspkgs

nix packages

Updated 2025-03-03 23:05:16 +01:00

rhi/ inkscape-xwayland Archived

[ now part of https://git.rhiannon.website/rhi/nisspkgs! ] force inkscape to use xwayland

Updated 2025-03-03 22:41:29 +01:00

rhi/ lang

conlang website

Updated 2025-02-18 18:35:46 +01:00

rhi/ gallery

static gallery site generator for niss.website

Updated 2025-01-31 18:41:51 +01:00

rhi/ junk

forĝejo has no gists equivalent, so here we are

Updated 2025-01-09 19:20:55 +01:00

rhi/ singleton-typelits

fork of https://github.com/mniip/singleton-typelits

Updated 2025-01-04 15:45:14 +01:00

rhi/ blog

yet another static site

Updated 2024-12-05 06:41:37 +01:00

rhi/ svg-builder

forked from https://github.com/diagrams/svg-builder

Updated 2024-11-26 17:26:38 +01:00

rhi/ peerix

fork of https://github.com/cid-chan/peerix.git

Updated 2024-11-23 03:42:17 +01:00

rhi/ bytebuild

fork of https://github.com/byteverse/bytebuild

Updated 2024-10-23 01:56:11 +02:00

rhi/ haskell-gnutls

fork of https://git.singpolyma.net/haskell-gnutls

Updated 2024-10-23 00:52:51 +02:00

rhi/ quox

quantitative extensional type theory

Updated 2024-07-18 17:59:09 +02:00

rhi/ patuni

"A tutorial implementation of dynamic pattern unification", modernised

Updated 2024-06-23 18:06:03 +02:00

rhi/ quox-vim

vim syntax highlighting for quox

Updated 2024-05-16 22:05:21 +02:00

rhi/ misc

misc scripts & junk of varying usefulness

Updated 2024-01-11 20:33:38 +01:00

rhi/ aoc2023

Updated 2023-12-20 02:09:28 +01:00

rhi/ idris2-vim

fork of https://github.com/edwinb/idris2-vim

Updated 2023-11-05 12:10:51 +01:00

rhi/ idris2-tap

basic test framework for idris 2

Updated 2023-09-23 17:39:21 +02:00

rhi/ qflow3r

messing with the badge thing from cccamp 2023

Updated 2023-08-19 13:19:29 +02:00

1 2