VS Code in the browser
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
The developer platform for on-demand cloud development environments to create software faster and more securely.
Kubernetes based Cloud Development Environments for Enterprise Teams
RStudio is an integrated development environment (IDE) for R
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