gitpod-io / definitely-gp
External `.gitpod.yml` files.
☆94Updated last year
Related projects ⓘ
Alternatives and complementary repositories for definitely-gp
- Ready to use docker images for Gitpod workspaces☆480Updated this week
- A list of cool open-source projects that you can contribute to with one click☆81Updated 3 months ago
- Gitpod Window offers you an immersive IDE experience with minimal UI and shortcuts. (ex. Ctrl-W)☆24Updated 3 years ago
- Built-in VS Code extensions for Theia☆67Updated 6 months ago
- Gitpod website and documentation☆68Updated 3 years ago
- Gitpod Support for VS Code☆28Updated last week
- Theia's Website☆33Updated this week
- A GitHub App built with Probot that opens issues and pull requests in Gitpod.☆19Updated 5 years ago
- Hashnode in your terminal☆46Updated 5 years ago
- Fast and robust node.js binary compiler.☆107Updated 3 years ago
- The example of how to build the Theia-based app with the custom markdown extension.☆24Updated 3 years ago
- The browser extension for gitpod.io. Works with Chrome and Firefox.☆150Updated this week
- dazzle is a rather experimental Docker image builder which builds independent layers☆215Updated 7 months ago
- An open-source registry for VS Code extensions☆11Updated 4 years ago
- Deploy Coder to your preferred cloud with a pre-built package.☆27Updated this week
- Example Probot Application that is deployed to Vercel☆19Updated last month
- Leeway is a heavily caching build system for Go, Typescript and Docker projects.☆161Updated 3 weeks ago
- 🍊 Awesome Gitpod | A curated list of awesome Gitpod resources.☆69Updated last year
- Source of open-vsx.org☆141Updated this week
- A collection of postprocessing utilities for flat☆56Updated 2 years ago
- GitLive Docs☆83Updated last year
- A unified syntax that compiles into your favorite OOP languages. 🦜☆60Updated 3 years ago
- GitHub OAuth App authentication for JavaScript☆67Updated this week
- GitHub Action to publish markdown files on dev.to platform, with assets hosted on GitHub.☆39Updated 4 months ago
- CoderStats website source files☆22Updated last year
- GitHub bot for gitpod☆13Updated 11 months ago
- DEPRECATED since Gitpod 0.5.0; use https://github.com/gitpod-io/gitpod/tree/master/chart and https://github.com/gitpod-io/gitpod/tree/mas…☆232Updated 3 years ago
- A Docusaurus v2 plugin that supports referencing code examples from public GitHub repositories.☆96Updated last month
- Wasmer Documentation (for standalone and embedded use cases)☆41Updated last year