1.JetBrains / intellij-communityIntelliJ IDEA & IntelliJ Platformintellijintellij-platformidecode-editorintellij-communityJavaOther license21K total6.1K forks+34 starsfrom 20,679 · score 3.56
2.rstudio / rstudioRStudio is an integrated development environment (IDE) for RJavaOther license5.1K total1.2K forks+11 starsfrom 5,099 · score 2.48
3.arduino / ArduinoArduino IDE 1.xarduinoideJavaOther license15K total6.9K forks+10 starsfrom 14,692 · score 2.40
4.codesandbox / codesandbox-clientAn online IDE for rapid web developmentcodesandboxreactjavascriptvuepreactsvelte+1 moreJavaScriptOther license14K total2.4K forks+6 starsfrom 13,654 · score 1.95
5.jscoq / jscoqA port of Coq to Javascript -- Run Coq in your Browsercoqproof-assistantjavascriptintegrated-development-environmentTypeScriptOther license550 total50 forks+1 starsfrom 549 · score 0.69