Displaying 1 to 17 from 17 results

lamdu - lamdu - towards the next generation IDE

  •    Haskell

This project aims to create a next-generation, live programming environment that radically improves the programming experience. To drastically speed up Lamdu's installation under any OS, you can install an appropriate version of NodeJS beforehand, such that node is in your $PATH. The version has to be at least 6.2.1 but below 8.0.0 (due to the removal of tail call optimization from node at version 8) 1.

Aptana - Web development IDE

  •    Java

Aptana Studio harnesses the flexibility of Eclipse and focuses it into a powerful web development engine. It helps to build web applications quickly and easily. It could be downloaded as Eclipse plugin or standalone.

Light Table - The next generation code editor

  •    Clojure

Light Table is a new interactive IDE that lets you modify running programs and embed anything from websites to games. It provides the real time feedback we need to not only answer questions about our code, but to understand how our programs really work.

Geany - Text Editor using GTK2

  •    C

Geany is a small and lightweight Integrated Development Environment. It supports filetypes including C, Java, PHP, HTML, Python, Perl, Pascal. Its basic features include Syntax highlighting, Code folding, Symbol name, auto-completion, Construct completion/snippets, Code navigation etc. Geany is light weight and only requires the GTK2 runtime libraries.

SPE IDE - Stani's Python Editor

  •    Python

Python IDE for Windows, Mac & Linux with UML, PyChecker, Debugger, GUI design, Blender & more. Auto indentation and completion, call tips, syntax coloring and highlighting, uml viewer, class explorer, source index, todo list, pycrust shell, file browsers, drag&drop, Blender support. SPE ships with wxGlade,PyChecker and Kiki.

Boa Constructor - Python and wxPython GUI IDE

  •    Python

Boa Constructor is a cross platform Python IDE and wxPython GUI Builder. It offers visual frame creation and manipulation, an object inspector, many views on the source like object browsers, inheritance hierarchies, doc string generated html documentation, an advanced debugger and integrated help. Zope support: Object creation and editing. Cut, copy, paste, import and export. Property creation and editing in the Inspector and Python Script debugging.

Anjuta DevStudio - GNOME Integrated Development Environment

  •    C

Anjuta DevStudio is a versatile software development studio featuring a number of advanced programming facilities including project management, application wizard, interactive debugger, source editor, version control, GUI designer, profiler and many more tools. It focuses on providing simple and usable user interface, yet powerful for efficient development. Anjuta supports programming languages C, C++, Java, Javascript, Python, Vala.

Pide - A Framework for integrated development

  •    Python

PIDA is different from other IDEs in that it will use the tools you already have available rather than attempting to reinvent each one. PIDA is written in Python with the PyGTK toolkit, and although is designed to be used to program in any language, PIDA has fancy Python IDE features.

uPyIDE - Micropython IDE

  •    Python

This is the IDE for micropython on EDU-CIAA. Replace pip by pip3 or command of your distribution.

hyper-ide - Hyper IDE - A web based IDE for 100+ programming languages

  •    Javascript

Hyper IDE is a web based IDE (Integrated Development Environment) that supports more than 100 programming languages out of the box for Phosphorus Five. You can use it on localhost, through e.g. Visual Studio, Mono Develop or Xamarin - Or install it on a web server, having easily access to your code, from anywhere in the world. Hyper IDE is automatically installed when you install Phosphorus Five.

elementary-ide - An unofficial elementary OS (Vala) oriented IDE.

  •    Vala

An unofficial elementary OS (Vala) oriented IDE. And then follow the previous elementary OS (Loki) instructions.

dev-kt - :crystal_ball: Single file Kotlin/Java IDE features in lightweight.

  •    Kotlin

This is a DevCpp-like cross-platform Kotlin (and Java, experimental) IDE features in lightweight. You can download a snapshot here, the one ends with "-all.jar" is an executable jar.

julia-intellij - :computer: Julia Plugin for IntelliJ IDEA ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛

  •    Kotlin

This is a work in progress, some features are implemented partially, there may be performance and stability problems. Install IntelliJ IDEA (or other JetBrains IDEs), open Settings | Plugins | Browse repositories, install Julia plugin, and create a Julia project.

zig-intellij - The IntelliJ IDEA plugin for the Zig programming language ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛ ┏:smiley:┓

  •    Kotlin

This is a work in progress, some features are implemented partially, there may be performance and stability problems. We're not planning to support Zig 0.2.0 or 0.1.1. Instead, we start directly from 0.3.0, which is unpublished yet.

PG - This repo is the new home of Proof General

  •    Emacs

Proof General is a generic Emacs interface for proof assistants. The aim of the Proof General project is to provide a powerful, generic environment for using interactive proof assistants. This is version 4.5-git of Proof General.

company-coq - IDE extensions for Proof General's Coq mode

  •    Emacs

A collection of extensions for Proof General's Coq mode. This should be easier: company-coq is on MELPA. Just use M-x package-refresh-contents RET followed by M-x package-install RET company-coq RET to install and byte-compile company-coq and its dependencies (some of them will produce a few warnings; that's OK).