Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

rhi/ idris2-vim

Vim script 0 0

fork of https://github.com/edwinb/idris2-vim

Updated 2023-11-05 12:10:51 +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