13 results found Sort:
- Filter by Primary Language:
- Kotlin (2)
- Emacs Lisp (2)
- TypeScript (2)
- Haskell (1)
- C++ (1)
- JavaScript (1)
- Markdown (1)
- Java (1)
- Common Lisp (1)
- CSS (1)
- +
lamdu - towards the next generation IDE
Created
2011-10-20
9,849 commits to main branch, last one 2 months ago
Julia extension for Visual Studio Code
Created
2016-06-21
4,714 commits to main branch, last one a day ago
iD3: an Integrated Development Environment for D3.js
Created
2017-04-29
271 commits to master branch, last one 7 years ago
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 2 months ago
This repo is the new home of Proof General
Created
2015-09-21
9,450 commits to master branch, last one 26 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 about a month ago
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
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
Innovative IDE based on VRL (Visual Reflection Library)
Created
2012-10-28
236 commits to master branch, last one 5 months ago
A curated list of Integrated Development Environments (IDEs) and related tools that can enhance your coding experience and boost your productivity.
ide
awesome
programming
awesome-list
code-editors
productivity
collaboration
developer-tools
version-control
web-development
embedded-systems
game-development
development-tools
coding-environment
productivity-tools
software-development
developer-productivity
mobile-app-development
integrated-development-environment
Created
2023-08-09
37 commits to main branch, last one 3 months ago
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 17 days ago