1.visualfc / liteideLiteIDE is a simple, open source, cross-platform Go IDE. liteidecross-platformidegolanggoqtC++LGPL-2.17.8K total987 forks+59 starsfrom 7,712 · score 4.09
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.1213 total69 forks+12 starsfrom 201 · score 2.56
3.thestrukture / IDETranslatedA Go code editor. With debugging and Autocomplete.struktureidedockergolanggohtmlGoLGPL-2.1363 total23 forks+1 starsfrom 362 · score 0.69