rhi
0 followers · 0 following
  • Joined on 2020-06-11
Repositories
32
 Projects Packages Public activity Starred repositories
Filter
Sort
rhi/quox
quox
Idris 0 0
quantitative extensional type theory
Updated 2024-07-18 17:59:09 +02:00
patuni
Haskell 0 0
"A tutorial implementation of dynamic pattern unification", modernised
Updated 2024-06-23 18:06:03 +02:00
quox-vim
Vim Script 0 0
vim syntax highlighting for quox
Updated 2024-05-16 22:05:21 +02:00
misc
Raku 0 0
misc scripts & junk of varying usefulness
Updated 2024-01-11 20:33:38 +01:00
aoc2023
Prolog 0 0
Updated 2023-12-20 02:09:28 +01:00
idris2-vim
Vim script 0 0
fork of https://github.com/edwinb/idris2-vim
Updated 2023-11-05 12:10:51 +01:00
idris2-tap
Idris 0 0
basic test framework for idris 2
Updated 2023-09-23 17:39:21 +02:00
qflow3r
Python 0 0
messing with the badge thing from cccamp 2023
Updated 2023-08-19 13:19:29 +02:00
rhi/bqn-ibus
bqn-ibus
Makefile 0 0
input method for bqn
Updated 2022-12-28 20:17:15 +01:00
aoc2022
Mercury 0 0
in mercury. and bqn again sometimes
Updated 2022-12-22 00:16:30 +01:00
ats-vim
Vim script 0 0
fork of https://github.com/vmchale/ats-vim
Updated 2022-10-06 17:30:54 +02:00
beluga.vim
Vim script 0 0
vim syntax highlighting for beluga
Updated 2022-07-15 14:56:37 +02:00
maude-vim
Vim script 0 0
maude syntax highlighting for vim [incomplete]
Updated 2022-03-23 04:46:25 +01:00
bqn-vim
Vim script 0 0
vim syntax highlighting for bqn
Updated 2022-03-15 15:38:57 +01:00
aoc2021-bqn
0 0
yea
Updated 2022-01-25 22:55:51 +01:00