Repository navigation
integrated-development-environment
- Website
- Wikipedia
lamdu - towards the next generation IDE
Julia extension for Visual Studio Code
iD3: an Integrated Development Environment for D3.js
A port of Coq to Javascript -- Run Coq in your Browser
This repo is the new home of Proof General
A Coq IDE build on top of Proof General's Coq mode
💻 Julia Plugin for IntelliJ IDEA ┗😃┛ ┏😃┓ ┗😃┛
SLT is an IDE Plugin for Itellij/Jetbrains IDE lineup implementing support for Common Lisp via Slime/Swank and supported lisp interpret.
IDE for C embedded development centered on bare-metal ARM systems
An awesome multi-language IDE written in JavaScript, crafted for ChromeOS and released under the GNU general public license!
The IntelliJ IDEA plugin for the Zig programming language ┗😃┛ ┏😃┓ ┗😃┛ ┏😃┓
A visual programming environment.
A curated list of Integrated Development Environments (IDEs) and related tools that can enhance your coding experience and boost your productivity.
🔮 Single file Kotlin/Java IDE features in lightweight.
IBM i development environment (IDE)
An unofficial elementary OS (Vala) oriented IDE.
Innovative IDE based on VRL (Visual Reflection Library)
Hyper IDE - A web based IDE for 100+ programming languages