1.JetBrains / intellij-communityIntelliJ IDEA & IntelliJ Platformintellijintellij-platformidecode-editorintellij-communityJavaOther license21K total6.1K forks+30 starsfrom 20,685 · score 3.43
2.rstudio / rstudioRStudio is an integrated development environment (IDE) for RJavaOther license5.1K total1.2K forks+9 starsfrom 5,102 · score 2.30
3.arduino / ArduinoArduino IDE 1.xarduinoideJavaOther license15K total6.9K forks+8 starsfrom 14,694 · score 2.20
4.codesandbox / codesandbox-clientAn online IDE for rapid web developmentcodesandboxreactjavascriptvuepreactsvelte+1 moreJavaScriptOther license14K total2.4K forks+7 starsfrom 13,654 · score 2.08
5.rabbibotton / clogCLOG - The Common Lisp Omnificent GUIcommon-lisphtml-bindingsguiwebframeworkhtml-over-the-wirelisp+2 moreCommon LispOther license1.8K total122 forks+1 starsfrom 1,759 · score 0.69
6.jscoq / jscoqA port of Coq to Javascript -- Run Coq in your Browsercoqproof-assistantjavascriptintegrated-development-environmentTypeScriptOther license550 total50 forks+1 starsfrom 549 · score 0.69