rhi
0 Followers · 0 Following
  • Joined on 2020-06-10
Repositories
22
 Projects Packages Public Activity Starred Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
yummy.cricket
CSS 0 0
yummy.cricket website
Updated 2024-03-02 12:23:31 -05:00
svg-builder
Haskell 0 0
forked from https://github.com/diagrams/svg-builder
Updated 2023-12-23 12:27:18 -05:00
rhi/quox
quox
Idris 0 0
quantitative extensional type theory
Updated 2024-04-18 16:18:20 -04:00
qflow3r
Python 0 0
messing with the badge thing from cccamp 2023
Updated 2023-08-19 07:19:29 -04:00
misc
Raku 0 0
misc scripts & junk of varying usefulness
Updated 2024-01-11 14:33:38 -05:00
maude-vim
Vim script 0 0
maude syntax highlighting for vim [incomplete]
Updated 2022-03-22 23:46:25 -04:00
lang
Haskell 0 0
conlang website
Updated 2024-03-14 19:57:00 -04:00
ips
Haskell 0 0
applies ips patches. remember those?
Updated 2021-12-28 04:26:33 -05:00
idris2-vim
Vim script 0 0
fork of https://github.com/edwinb/idris2-vim
Updated 2023-11-05 06:10:51 -05:00
idris2-tap
Idris 0 0
basic test framework for idris 2
Updated 2023-09-23 11:39:21 -04:00
gallery
Haskell 0 0
static gallery site generator for niss.website
Updated 2023-08-06 00:50:11 -04: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
bqn-vim
Vim script 0 0
vim syntax highlighting for bqn
Updated 2022-03-15 10:38:57 -04:00
rhi/bqn-ibus
bqn-ibus
Makefile 0 0
input method for bqn
Updated 2022-12-28 14:17:15 -05:00
blog
Haskell 0 0
yet another static site
Updated 2023-12-27 19:00:40 -05:00