13 results found Sort:

71
1.9k
gpl-3.0
53
lamdu - towards the next generation IDE
Created 2011-10-20
9,849 commits to main branch, last one 29 days ago
Julia extension for Visual Studio Code
Created 2016-06-21
4,705 commits to main branch, last one 3 days ago
54
789
mit
49
iD3: an Integrated Development Environment for D3.js
Created 2017-04-29
271 commits to master branch, last one 7 years ago
44
515
other
19
A port of Coq to Javascript -- Run Coq in your Browser
Created 2015-05-12
1,804 commits to v8.20+lsp branch, last one about a month ago
88
491
gpl-3.0
13
This repo is the new home of Proof General
Created 2015-09-21
9,446 commits to master branch, last one about a month ago
A Coq IDE build on top of Proof General's Coq mode
Created 2015-02-15
905 commits to master branch, last one about a year ago
:computer: Julia Plugin for IntelliJ IDEA ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛
Created 2018-01-23
1,548 commits to master branch, last one 4 days ago
12
198
apache-2.0
14
SLT is an IDE Plugin for Itellij/Jetbrains IDE lineup implementing support for Common Lisp via Slime/Swank and supported lisp interpret.
Created 2023-01-14
266 commits to master branch, last one about a year ago
An awesome multi-language IDE written in JavaScript, crafted for ChromeOS and released under the GNU general public license!
Created 2017-10-10
300 commits to master branch, last one 2 years ago
27
113
gpl-3.0
9
The IntelliJ IDEA plugin for the Zig programming language ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛ ┏:smiley:┓
Created 2018-03-16
278 commits to master branch, last one about a year ago
22
71
unknown
19
Innovative IDE based on VRL (Visual Reflection Library)
Created 2012-10-28
236 commits to master branch, last one 4 months ago
34
50
gpl-3.0
15
Spatially Explicit Integrated Modeling System --- open-source, cross-platform, and high performance computation
Created 2016-12-07
4,484 commits to dev branch, last one 14 hours ago
A curated list of Integrated Development Environments (IDEs) and related tools that can enhance your coding experience and boost your productivity.
Created 2023-08-09
37 commits to main branch, last one 2 months ago