rhi
0 followers · 0 following
  • Joined on 2020-06-10
Repositories
24
 Projects Packages Public activity Starred repositories
Filter
Sort
beluga.vim
Vim script 0 0
vim syntax highlighting for beluga
Updated 2022-07-15 08:56:37 -04:00
yummy.cricket
CSS 0 0
yummy.cricket website
Updated 2024-09-27 12:10:18 -04:00
gallery
Haskell 0 0
static gallery site generator for niss.website
Updated 2024-10-21 08:42:37 -04:00
svg-builder
Haskell 0 0
forked from https://github.com/diagrams/svg-builder
Updated 2024-05-16 16:08:56 -04:00
aoc2020
OCaml 0 0
advent of code 2020
Updated 2020-12-07 15:28:42 -05:00
ips
Haskell 0 0
applies ips patches. remember those?
Updated 2021-12-28 04:26:33 -05:00
filemanip
Haskell 0 0
fork of https://github.com/bos/filemanip that can look thru symlinks
Updated 2021-04-17 15:25:37 -04:00
lang
Haskell 0 0
conlang website
Updated 2024-09-25 19:39:30 -04:00
rhi/quox
quox
Idris 0 0
quantitative extensional type theory
Updated 2024-07-18 11:59:09 -04:00
agda-prelude
Agda 0 0
not that one, another one. just some reexports from the stdlib
Updated 2021-07-09 02:23:39 -04:00
blog
Haskell 0 0
yet another static site
Updated 2024-09-27 12:13:29 -04:00
idris2-vim
Vim script 0 0
fork of https://github.com/edwinb/idris2-vim
Updated 2023-11-05 06:10:51 -05:00
rhi/bqn-ibus
bqn-ibus
Makefile 0 0
input method for bqn
Updated 2022-12-28 14:17:15 -05:00
bqn-vim
Vim script 0 0
vim syntax highlighting for bqn
Updated 2022-03-15 10:38:57 -04:00
aoc2021-bqn
0 0
yea
Updated 2022-01-25 16:55:51 -05:00