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
beluga.vim
Vim script 0 0
vim syntax highlighting for beluga
Updated 2022-07-15 08:56:37 -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
aoc2023
Prolog 0 0
Updated 2023-12-19 20:09:28 -05:00
aoc2022
Mercury 0 0
in mercury. and bqn again sometimes
Updated 2022-12-21 18:16:30 -05:00
aoc2021-bqn
0 0
yea
Updated 2022-01-25 16:55:51 -05:00
aoc2020
OCaml 0 0
advent of code 2020
Updated 2020-12-07 15:28:42 -05: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