ide
Here are 3,239 public repositories matching this topic...
Visual Studio Code Extension and Language Server Protocol for Coq
-
Updated
Jun 12, 2024 - OCaml
Provision remote development environments via Terraform
-
Updated
Jun 12, 2024 - Go
Platform repository of Consulo. Plugins implementation hold in their repositories
-
Updated
Jun 12, 2024 - Java
Next-gen Multi-Language IDE for Lightning-Fast Development
-
Updated
Jun 12, 2024
IntelliJ IDEA Community Edition & IntelliJ Platform
-
Updated
Jun 12, 2024
The developer platform for on-demand cloud development environments to create software faster and more securely.
-
Updated
Jun 12, 2024 - Java
Simple and fast keyboard focused IDE written in Crystal and GTK.
-
Updated
Jun 12, 2024 - Crystal
A MicroPython IDE that works directly in the browser, leveraging modern web technologies
-
Updated
Jun 12, 2024 - HTML
MinEmacs: an Emacs configuration framework for daily use
-
Updated
Jun 12, 2024 - Emacs Lisp
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
-
Updated
Jun 12, 2024 - Haskell
Official repository for Spyder - The Scientific Python Development Environment
-
Updated
Jun 12, 2024 - Python
MCreator is software used to make Minecraft Java Edition mods, Bedrock Edition Add-Ons, and data packs using visual graphical programming or integrated IDE. It is used worldwide by Minecraft players, aspiring mod developers, for education, online classes, and STEM workshops.
-
Updated
Jun 12, 2024 - Java
Julia extension for Visual Studio Code
-
Updated
Jun 12, 2024 - TypeScript
Self-hosted AI coding assistant
-
Updated
Jun 12, 2024 - Rust
Aurora Editor is a IDE built by the community, for the community, and written in Swift for the best native performance and feel for macOS.
-
Updated
Jun 12, 2024 - Swift
Improve this page
Add a description, image, and links to the ide topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ide topic, visit your repo's landing page and select "manage topics."