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
maude-vim
Vim script 0 0
maude syntax highlighting for vim [incomplete]
Updated 2022-03-22 23:46:25 -04:00
misc
Raku 0 0
misc scripts & junk of varying usefulness
Updated 2024-01-11 14:33:38 -05:00
idris2-tap
Idris 0 0
basic test framework for idris 2
Updated 2023-09-23 11:39:21 -04:00
ats-vim
Vim script 0 0
fork of https://github.com/vmchale/ats-vim
Updated 2022-10-06 11:30:54 -04:00
aoc2022
Mercury 0 0
in mercury. and bqn again sometimes
Updated 2022-12-21 18:16:30 -05:00
qflow3r
Python 0 0
messing with the badge thing from cccamp 2023
Updated 2023-08-19 07:19:29 -04:00
aoc2023
Prolog 0 0
Updated 2023-12-19 20:09:28 -05:00