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.
#编辑器#🔮 Single file Kotlin/Java IDE features in lightweight.
#编辑器#IBM i development environment (IDE)
#Awesome#A curated list of Integrated Development Environments (IDEs) and related tools that can enhance your coding experience and boost your productivity.
#编辑器#An unofficial elementary OS (Vala) oriented IDE.
Innovative IDE based on VRL (Visual Reflection Library)
#编辑器#Micropython IDE
#编辑器#Hyper IDE - A web based IDE for 100+ programming languages