Repositories Users Organizations
Filter
Sort
rhi/ yummy.cricket
TypeScript 0 0
yummy.cricket website
Updated 2025-03-12 00:28:51 +01:00
rhi/ svg-builder
Haskell 0 0
forked from https://github.com/diagrams/svg-builder
Updated 2024-11-26 17:26:38 +01:00
rhi/ singleton-typelits
Haskell 0 0
fork of https://github.com/mniip/singleton-typelits
Updated 2025-01-04 15:45:14 +01:00
rhi/ quox-vim
Vim Script 0 0
vim syntax highlighting for quox
Updated 2024-05-16 22:05:21 +02:00
rhi/quox
rhi/ quox
Idris 0 0
quantitative extensional type theory
Updated 2024-07-18 17:59:09 +02:00
rhi/ qflow3r
Python 0 0
messing with the badge thing from cccamp 2023
Updated 2023-08-19 13:19:29 +02:00
rhi/ peerix
Python 0 0
fork of https://github.com/cid-chan/peerix.git
Updated 2024-11-23 03:42:17 +01:00
rhi/ patuni
Haskell 0 0
"A tutorial implementation of dynamic pattern unification", modernised
Updated 2024-06-23 18:06:03 +02:00
rhi/ nisspkgs
Nix 0 0
nix packages
Updated 2025-03-03 23:05:16 +01:00
rhi/ misc
Raku 0 0
misc scripts & junk of varying usefulness
Updated 2024-01-11 20:33:38 +01:00
rhi/ maude-vim
Vim script 0 0
maude syntax highlighting for vim [incomplete]
Updated 2022-03-23 04:46:25 +01:00
rhi/ lang
Haskell 0 0
conlang website
Updated 2025-02-18 18:35:46 +01:00
rhi/ junk
Haskell 0 0
forĝejo has no gists equivalent, so here we are
Updated 2025-01-09 19:20:55 +01:00
rhi/ ips
Haskell 0 0
applies ips patches. remember those?
Updated 2021-12-28 10:26:33 +01:00
rhi/ inkscape-xwayland Archived
Nix 0 0
[ now part of https://git.rhiannon.website/rhi/nisspkgs! ] force inkscape to use xwayland
Updated 2025-03-03 22:41:29 +01:00
rhi/ idris2-vim
Vim script 0 0
fork of https://github.com/edwinb/idris2-vim
Updated 2023-11-05 12:10:51 +01:00
rhi/ idris2-tap
Idris 0 0
basic test framework for idris 2
Updated 2023-09-23 17:39:21 +02:00
rhi/ haskell-gnutls
Haskell 0 0
fork of https://git.singpolyma.net/haskell-gnutls
Updated 2024-10-23 00:52:51 +02:00
rhi/ gallery
Haskell 0 0
static gallery site generator for niss.website
Updated 2025-01-31 18:41:51 +01:00
rhi/ filemanip
Haskell 0 0
fork of https://github.com/bos/filemanip that can look thru symlinks
Updated 2021-04-17 21:25:37 +02:00