14 results found Sort:

72
1.9k
gpl-3.0
52
lamdu - towards the next generation IDE
Created 2011-10-20
9,853 commits to main branch, last one about a month ago
Julia extension for Visual Studio Code
Created 2016-06-21
4,813 commits to main branch, last one about a month ago
54
788
mit
49
iD3: an Integrated Development Environment for D3.js
Created 2017-04-29
271 commits to master branch, last one 7 years ago
45
523
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 4 months ago
91
499
gpl-3.0
13
This repo is the new home of Proof General
Created 2015-09-21
9,456 commits to master branch, last one 20 days ago
A Coq IDE build on top of Proof General's Coq mode
Created 2015-02-15
905 commits to master branch, last one 2 years ago
:computer: Julia Plugin for IntelliJ IDEA ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛
Created 2018-01-23
1,548 commits to master branch, last one 3 months ago
12
202
apache-2.0
15
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
116
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 7 months 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
40 commits to main branch, last one 21 days ago
34
51
gpl-3.0
15
Spatially Explicit Integrated Modeling System --- open-source, cross-platform, and high performance computation
Created 2016-12-07
4,495 commits to dev branch, last one 2 months ago
Full-featured Nintendo Virtual Boy game development application.
Created 2021-01-08
1,438 commits to master branch, last one 7 days ago