Topic · integrated-development-environment

integrated-development-environment

Tracked open-source repos tagged integrated-development-environment, sorted by stars.

Repos

4

Total stars

4,344

Avg. stars

1,086

Share

0.00%

Topics that frequently appear alongside integrated-development-environment on the same repo.

Recent risers

Repos created in the last 90 days, tagged integrated-development-environment.

No new repos tagged with this topic in the last 90 days.

#1
lamdu ↗@lamduHaskell
lamdu - towards the next generation IDE
★ 1,899+0Star change over the last 7 days
#2
julia-vscode ↗@julia-vscodeTypeScript
Julia extension for Visual Studio Code
★ 1,340+0Star change over the last 7 days
#3
PG ↗@ProofGeneralEmacs Lisp
This repo is the new home of Proof General
★ 558+2Star change over the last 7 days
#4
jscoq ↗@jscoqTypeScript
A port of Coq to Javascript -- Run Coq in your Browser
★ 547+0Star change over the last 7 days

← Back to topics