interesting plugins

[tednaaa]

• https://github.com/ms-jpq/coq_nvim
• https://github.com/rachartier/tiny-inline-diagnostic.nvim
• https://github.com/nvim-neotest/neotest

for rust

• https://github.com/mrcjkb/rustaceanvim