Repository Index

Reactide is the first dedicated IDE for React web application development.

• react
• redux
• devtools
• nodejs

RStudio is an integrated development environment (IDE) for R

a fast, GPU-accelerated, full-featured IDE and terminal multiplexer, suitable both for automatic and manual programming.

• go
• golang
• ide
• rune

Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.

• pharo
• reflective
• language
• tools

ATTENTION: This repository is a clone of https://gitlab.structr.com/structr/structr. All development/issue tracking has moved there. | Structr is an integrated open-source low-code development and runtime environment that uses a graph database (Neo4j).

• low-code
• low-code-development-platform
• productivity
• frontend-framework

A self-hosted browser-based cloud IDE, updated from Codiad IDE

• ide
• editor
• cloud-ide
• self-hosted

A port of Coq to Javascript -- Run Coq in your Browser

• coq
• proof-assistant
• javascript
• integrated-development-environment