VS Code in the browser
Repository Index
47,133 repositories indexed
1–18 of 18 · Most stars
Secure environments for developers and their agents
Codespaces but open-source, client-only and unopinionated: Works with any IDE and lets you use any cloud, kubernetes or just localhost docker.
- cloud
- devcontainer
- devcontainers
- developer-tools
The developer platform for on-demand cloud development environments to create software faster and more securely.
Instant, easy, and predictable development environments
- devbox
- development-environment
- nix
- venv
The Deterministic Foundation for your SDLC
- nix
- package-manager
- virtual-environments
- developer-tools
🏕️ Reproducible development environment for humans and agents
- developer-tools
- development-environment
- docker
- buildkit
The ideal platform for developers
- deployment
- development-environment
- cli
- docker
From local development to the cloud: web apps development with containers made easy.
- docker
- docker-compose
- development-environment
- golang
The management of multiple apps running over different ports made easy
- proxy
- tools
- golang
- proxy-server
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
A Coq IDE build on top of Proof General's Coq mode
- proof-general
- coq
- integrated-development-environment
- company-mode
(╯°□°）╯︵ ┻━┻ A useless gem for table flipping on exceptions :unamused:
- fun
- developer-mode
- developer-tools
- development-environment
SLT is an IDE Plugin for Itellij/Jetbrains IDE lineup implementing support for Common Lisp via Slime/Swank and supported lisp interpret.
- common-lisp
- integrated-development-environment
- intellij-plugin
- jetbrains
Containerized Development Environment Manager for embedded development
- containerization
- containers
- devops
- edge
Database synchronizer for Magento 2 (and Wordpress), based on Magerun2. Keeping development, staging and production in sync easily.
A boilerplate dev environment for jump-starting Craft CMS projects
- craftcms
- vagrant
- development-environment
Magento 2 module for ngrok.io service support