The Wayback Machine - https://web.archive.org/web/20200828061656/https://github.com/topics/theia

#

theia

Here are 43 public repositories matching this topic...

eclipse / openvsx

Star

An open-source registry for VS Code extensions

registry marketplace extension vscode theia

Updated Aug 27, 2020
Java

electron-lang / electron

Star

Open

Change logo

dvc94ch commented Jul 23, 2018

Currently the logo is the same as electronjs uses, although I found it through an image search for cc images.

Read more

good first issue help wanted website

Open

implement the full language server protocol

Open

Label aware schematic layout

Find more good first issues →

eclipse-glsp / glsp

Star

Graphical language server platform for building web-based diagram editors

diagram protocol graphical-models lsp lsp-server theia-extension theia sprotty diagram-editors glsp

Updated Aug 26, 2020
Shell

TypeFox / npm-dependency-graph

Star

Visualization of npm package dependencies based on Sprotty

npm graph dependencies theia sprotty

Updated Jul 31, 2020
TypeScript

olivierhagolle / theia_download

Star

To download products provided by Theia land data center : https://theia.cnes.fr

landsat remote-sensing spot sentinel-2 cloud-detection theia data-downloader atmospheric-correction snow-cover

Updated Jul 29, 2020
Python

theia-ide / theia-xtext

Star

A Theia Application with DSL support through an Xtext Language Server

language-server dsl xtext theia

Updated Jul 30, 2020
TypeScript

paritytech / substrate-playground

Star

Start hacking your substrate runtime in a web based VSCode like IDE

kubernetes playground substrate theia

Updated Aug 27, 2020
TypeScript

TypeFox / theia-workshop

Star

Theia Workshop - Building Cloud and Desktop IDEs

workshop ide exercise theia-extension theia gitpod theia-application

Updated Oct 21, 2019
Dockerfile

broadinstitute / wdl-ide

Star

Rich IDE support for Workflow Description Language

docker ide vscode wdl cromwell theia

Updated Nov 14, 2019
Python

eclipse / sprotty-theia

Star

Integration of Sprotty diagrams into Theia IDE

eclipse ide diagrams theia

Updated Aug 19, 2020
TypeScript

theia-ide / theia-go-extension

Star

Theia Go Extension

go language-server-protocol theia-extension theia theia-language-extension

Updated Mar 14, 2019
TypeScript

eclipse / open-vsx.org

Star

Source of open-vsx.org

registry website marketplace extension vscode theia

Updated Aug 27, 2020
TypeScript

theia-ide / extension-registry

Star

An open-source registry for VS Code extensions

registry extension vscode theia

Updated Jan 29, 2020
TypeScript

eclipse-glsp / glsp-examples

Star

Example diagram editors built with Eclipse GLSP

diagram graphical-models lsp lsp-server theia-extension theia sprotty diagram-editors eclipse-theia

Updated Aug 27, 2020
Java

eclipse-glsp / glsp-theia-integration

Star

Integration of the web-based GLSP client with Eclipse Theia

diagram graphical-models diagram-editor lsp theia-ide theia theia-language-extension glsp eclipse-theia

Updated Aug 27, 2020
TypeScript

local-history-ext

vince-fugnitto / local-history-ext

Star

Local History VS Code Extension

vscode vscode-extension theia

Updated Jun 17, 2020
TypeScript

theia-ide / theia-asciidoc-extension

Star

Asciidoctor extension for Theia

asciidoc asciidoctor theia-extension theia

Updated Nov 19, 2018
TypeScript

PatMyron / cfn-lint-online

Star

CloudFormation Linter Online

aws cloudformation linter aws-cloudformation cfn-lint theia gitpod

Updated Jun 12, 2020

security-audit

theia-ide / security-audit

Star

Automated Security Audit for Theia Platform dependencies

security audit theia-ide theia

Updated Aug 13, 2020
TypeScript

vince-fugnitto / theia-custom-getting-started

Star

Custom Getting-Started Widget

theia-extension theia

Updated Oct 16, 2019
TypeScript

theia-ide / theia-vscodecov

Star

Test VS Code API coverage against Theia for any VS Code extension

Updated Jan 2, 2020
JavaScript

marechal-p / theia-cpp-debugging

Star

Setup to work on the different parts involved for debugging in Theia.

c adapter cpp protocol gdb debug theia

Updated Feb 11, 2019
JavaScript

vince-fugnitto / theia-cpp-branding

Star

Theia - C/C++ Example Branding Extension

Updated Oct 3, 2019
CSS

vince-fugnitto / theia-themes

Star

Collection of themes for Theia IDE

Updated Jun 5, 2019
CSS

e2fyi / theia-controller

Star

kubernetes CRD controller to manage theias (vscode alternative) - imagine jupyterhub.

kubernetes controller-manager theia kubeflow

Updated Apr 28, 2020
Go

ghokun / theia-cv

Star

Theia Docker image for C++ development on the browser. Contains OpenCV, NLopt and R libraries.

docker opencv r cpp docker-compose x11 novnc nlopt theia-ide theia

Updated Jul 18, 2020
Dockerfile

ashishdotme / theia-ide

Star

🔥. deploy cloud ide platform to heroku

Updated Nov 18, 2019
Dockerfile

vince-fugnitto / theia-widget-generator

Star

A Yeoman generator scaffolding Theia IDE extensions for Views / Widgets

typescript yeoman yeoman-generator theia-extension theia-ide theia

Updated Dec 14, 2018
TypeScript

vince-fugnitto / theia-spooky

Star

Theia Spooky Dark Theme

theme dark theia

Updated Jan 9, 2019
CSS

svenefftinge / json-schema-example

Star

Example for custom JSON schema in Theia/Gitpod.

json-schema theia gitpod

Updated Jan 21, 2019

Improve this page

Add a description, image, and links to the theia topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the theia topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.