1.vala-lang / vala-language-serverCode Intelligence for Vala & Genielanguage-servervalageniegnomevlsvscode+3 moreValaLGPL-2.1334 total50 forks+7 starsfrom 327 · score 2.08
2.rocq-community / rocq-lspVisual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]coqideuser-interfacevscode-extensioninteractive-theorem-provinglanguage-server-protocol+2 moreOCamlLGPL-2.1212 total69 forks+5 starsfrom 207 · score 1.79