Repository Index

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

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 port of Coq to Javascript -- Run Coq in your Browser

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