|
TypeScript |
35 |
Theia CPP extension |
Jul 30, 2022 |
|
TypeScript |
2 |
che-theia-hosted-plugin-manager-extension |
Jul 19, 2019 |
|
TypeScript |
4 |
Trace viewer extension for Theia applications and vscode |
Apr 04, 2023 |
|
Rust |
13 |
[wip] implementing origami VDF |
Apr 18, 2023 |
|
TypeScript |
35 |
Theia trace viewer extension using the tsp-typescript-client (https://github.com/theia-ide/tsp-typescript-client) and Trace Server Protocol (https://github.com/theia-ide/trace-server-protocol). |
Jun 01, 2022 |
|
TypeScript |
4 |
Fusion Studio is a Theia IDE extension for FusionDB |
May 26, 2022 |
|
Jupyter Notebook |
8 |
my attempt at implementing the DiffEdit paper (WIP) |
Apr 26, 2023 |
|
JavaScript |
3 |
#wip Workspace and docs for MongoDB Shell |
Mar 06, 2022 |
|
TypeScript |
4 |
The Theia running in Gitpod |
Nov 08, 2021 |
|
Rust |
13 |
Inverse kinematics plugin for Bevy implementing the FABRIK algorithm. WIP |
Jan 31, 2023 |
|
JavaScript |
3 |
netcoredbg-theia-plugin |
Aug 14, 2021 |
|
TypeScript |
5 |
Modelserver Theia integration |
Jan 26, 2023 |
|
TypeScript |
12 |
theia-tree-editor |
Feb 13, 2023 |
|
TypeScript |
2 |
theia-playwright-template |
Mar 14, 2024 |
|
JavaScript |
17 |
The ultimate search extension for Javascript (WIP) |
Apr 18, 2023 |
|
JavaScript |
2 |
Chrome devtools extension (WIP) |
Oct 27, 2021 |
|
C |
63 |
PHP extension implementing Bloom filters |
Sep 09, 2022 |
|
TypeScript |
6 |
che-theia-github-plugin |
Nov 05, 2020 |
|
TypeScript |
8 |
Examples for Eclipse Theia |
Jul 07, 2022 |
|
TypeScript |
9 |
che-theia-terminal-plugin |
May 11, 2022 |
|
None |
2 |
che-theia-ssh-plugin |
Jul 19, 2019 |
|
None |
2 |
Theia for Okteto IDE |
Oct 12, 2020 |
|
Rust |
29 |
Tauri Flavor of Theia |
Mar 20, 2022 |
|
TypeScript |
2 |
Theia based data modeler |
Jul 05, 2023 |
|
Objective-C |
521 |
This is the code for the ThinkAndBuild tutorial: "Implementing the Twitter App UI" (WIP) |
Sep 09, 2022 |
|
Java |
6 |
extension that is implementing the pdf functions and tags |
Oct 13, 2021 |
|
Shell |
2 |
Che plug-in bringing containers, etc to develop Che/Theia inside Che/Theia |
Jul 31, 2021 |
|
TypeScript |
9 |
Chrome Extension starter using Nx workspace and Angular |
Mar 04, 2023 |
|
JavaScript |
2 |
Example Chrome Extension with workspace-api-for-chrome. |
Dec 01, 2021 |
|
JavaScript |
4 |
[WIP] vscode extension for vitualgo |
Dec 02, 2018 |
|
Python |
9 |
WIP - VSCode extension for Grammalecte. |
Jul 11, 2022 |
|
Python |
34 |
Uploader extension for Flask. [WIP] |
Sep 20, 2021 |
|
None |
9 |
WIP: Team standards for implementing website and API analytics. |
May 19, 2021 |
|
JavaScript |
147 |
Google Chrome extension implementing JavaScript Zero |
Aug 11, 2022 |
|
CodeQL |
296 |
Starter workspace to use with the CodeQL extension for Visual Studio Code. |
Aug 07, 2022 |
|
None |
3 |
Starter workspace to use with the CodeQL extension for Visual Studio Code. |
Aug 23, 2021 |
|
C |
46 |
Starter workspace to use with the CodeQL extension for Visual Studio Code. |
May 24, 2022 |
|
None |
3 |
Starter workspace to use with the CodeQL extension for Visual Studio Code. |
May 19, 2022 |
|
JavaScript |
5 |
A gnome-shell extension that switches to the specified workspace on login. |
Dec 14, 2023 |
|
JavaScript |
7 |
[WIP] The official Quasar 1.0 App-Extension for feathersjs |
Mar 13, 2022 |
|
JavaScript |
6 |
【WIP】 Chrome Extension to help the use of Komiflo |
Nov 28, 2022 |
|
Jupyter Notebook |
6 |
The PyAutoFit workspace |
Dec 14, 2022 |
|
TypeScript |
34 |
A Yeoman generator for extensions to the Theia IDE |
Aug 07, 2022 |
|
TypeScript |
18 |
VS Code Extension for pnpm, pnpm workspace and more. |
Jun 15, 2022 |
|
JavaScript |
6 |
CTags workspace symbol provider extension for Visual Studio Code |
Jan 12, 2023 |
|
TypeScript |
15 |
A VSCode Extension which bring fiora into your workspace. |
Mar 21, 2023 |
|
PHP |
18 |
A WIP PocketMine-MP plugin implementing minions to your server |
Jan 28, 2023 |
|
Crystal |
2 |
WIP Crystal library implementing GRC's "Secure, Quick, Reliable Login" protocol. |
Apr 13, 2022 |
|
C# |
2 |
Used for quickly implementing animations for individual sprite renderers. WIP |
Aug 15, 2021 |
|
JavaScript |
2 |
Gnome Shell extension to make closing windows in the workspace overview more comfortable |
Jan 28, 2023 |