Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
rhi / beluga.vim
Vim script 0 0
vim syntax highlighting for beluga
Updated 2022-07-15 08:56:37 -04:00
rhi / idris2-vim
Vim script 0 0
fork of https://github.com/edwinb/idris2-vim
Updated 2023-11-05 06:10:51 -05:00
rhi / bqn-vim
Vim script 0 0
vim syntax highlighting for bqn
Updated 2022-03-15 10:38:57 -04:00
rhi / maude-vim
Vim script 0 0
maude syntax highlighting for vim [incomplete]
Updated 2022-03-22 23:46:25 -04:00
rhi / ats-vim
Vim script 0 0
fork of https://github.com/vmchale/ats-vim
Updated 2022-10-06 11:30:54 -04:00