The example of how to build the Theia-based app with the custom markdown extension.
☆25Aug 4, 2021Updated 4 years ago
Alternatives and similar repositories for theia-extension-example
Users that are interested in theia-extension-example are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Theia Go Extension☆15Mar 14, 2019Updated 7 years ago
- Theia Workshop - Building Cloud and Desktop IDEs☆40Oct 21, 2019Updated 6 years ago
- A Go language server.☆33Mar 25, 2019Updated 7 years ago
- A set of Active Annotations for GWT.☆18Dec 16, 2015Updated 10 years ago
- External `.gitpod.yml` files.☆97Jul 13, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- MOVED TO☆20Nov 12, 2016Updated 9 years ago
- Simple sample to develop dash on gitpod☆15Jun 14, 2019Updated 6 years ago
- Some nice tools and Xtend extensions that make life with Xtend better☆22Apr 27, 2021Updated 4 years ago
- A collection of Java related utils.☆12Jan 20, 2026Updated 2 months ago
- A sample Flutter project for use on GitPod.☆13Oct 2, 2020Updated 5 years ago
- Code and Development environment for adventofcode.com - 2018 edition☆19Jan 3, 2023Updated 3 years ago
- ☆13Nov 28, 2023Updated 2 years ago
- NPM module to implement communication between a jsonrpc client and server over WebSocket☆54Jun 22, 2022Updated 3 years ago
- A GitHub App built with Probot that opens issues and pull requests in Gitpod.☆20Feb 12, 2019Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A list of cool open-source projects that you can contribute to with one click☆82Feb 5, 2026Updated last month
- ☆85Feb 9, 2024Updated 2 years ago
- SystemJS ESM & TS Babel transform☆22Mar 10, 2023Updated 3 years ago
- xtext-extras☆20Apr 20, 2023Updated 2 years ago
- Gitpod Support for VS Code☆30Jun 17, 2025Updated 9 months ago
- Stemming library for Rust, using bindings to Snowball C implementation☆13Feb 26, 2016Updated 10 years ago
- Deprecated, please see the xtext-gradle-plugin instead☆47Dec 16, 2015Updated 10 years ago
- ☆10Aug 28, 2018Updated 7 years ago
- Gitpod Window offers you an immersive IDE experience with minimal UI and shortcuts. (ex. Ctrl-W)☆26Aug 30, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Directed graph layout for JavaScript☆19Aug 27, 2021Updated 4 years ago
- Tailwind CSS plugin to style Markdown☆10Jun 10, 2022Updated 3 years ago
- lyo.designer☆16Feb 22, 2026Updated last month
- ☆12Dec 30, 2016Updated 9 years ago
- Code and Development environment for adventofcode.com - 2019 edition☆20Dec 16, 2023Updated 2 years ago
- Theia applications examples - docker images, desktop apps, packagings☆1,038Oct 4, 2022Updated 3 years ago
- Sample Quarkus CLI application☆11Nov 2, 2022Updated 3 years ago
- This will export ProseMirror content state to HTML, Plain Text, or Markdown☆20Jun 1, 2017Updated 8 years ago
- Source code of the discontinued Nitriq Project.☆13Mar 22, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Cube Schema☆13Updated this week
- Extract linked metadata from repositories☆13Updated this week
- Oniguruma regex library on the web using WebAssembly☆179Oct 11, 2022Updated 3 years ago
- An integration of KùzuDB and RDFlib.☆17Nov 15, 2024Updated last year
- (SNMP) KOllector For Tired Admins☆10Oct 5, 2023Updated 2 years ago
- Ecore meets Xtext☆31Jan 24, 2012Updated 14 years ago
- Send songs, videos, web urls from your phone to your desktop with a flick of your wrist☆22Feb 23, 2018Updated 8 years ago