Repositories Users Organizations
Filter
Sort
rhi/bqn-ibus
rhi/ bqn-ibus
Makefile 0 0
input method for bqn
Updated 2022-12-28 20:17:15 +01:00
rhi/ aoc2022
Mercury 0 0
in mercury. and bqn again sometimes
Updated 2022-12-22 00:16:30 +01:00
rhi/ ats-vim
Vim script 0 0
fork of https://github.com/vmchale/ats-vim
Updated 2022-10-06 17:30:54 +02:00
rhi/ beluga.vim
Vim script 0 0
vim syntax highlighting for beluga
Updated 2022-07-15 14:56:37 +02:00
rhi/ maude-vim
Vim script 0 0
maude syntax highlighting for vim [incomplete]
Updated 2022-03-23 04:46:25 +01:00
rhi/ bqn-vim
Vim script 0 0
vim syntax highlighting for bqn
Updated 2022-03-15 15:38:57 +01:00
rhi/ aoc2021-bqn
0 0
yea
Updated 2022-01-25 22:55:51 +01:00
rhi/ ips
Haskell 0 0
applies ips patches. remember those?
Updated 2021-12-28 10:26:33 +01:00
rhi/ agda-prelude
Agda 0 0
not that one, another one. just some reexports from the stdlib
Updated 2021-07-09 08:23:39 +02: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
rhi/ aoc2020
OCaml 0 0
advent of code 2020
Updated 2020-12-07 21:28:42 +01:00