1.ocaml / merlinContext sensitive completion for OCaml in Vim and EmacsocamlemacsvimatomOCamlMIT1.7K total258 forks+36 starsfrom 1,674 · score 3.61
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+11 starsfrom 201 · score 2.48