Integrate with jupyterlab/extension-examples

[krassowski]

Problem

Finding out what token to use is not be trivial. It could benefit newcomers to have examples close at hand when first visiting the playground. https://github.com/jupyterlab/extension-examples is a terrific resource which could be re-used here.

Proposed Solution

Either:

• add jupyterlab-github extension to the Binder image pointing to https://github.com/jupyterlab/extension-examples, allowing users to explore the extensions easily
  • pros: easy to implement
  • cons: the extensions are in typescript so will not immediately work; will require keeping jupyterlab-github up-to-date
• add a dedicated browser of extensions which will run typescript compilation (without asset minimization) prior to showing the examples

Additional context

The TypeScript playground includes a set of pre-defined examples: https://www.typescriptlang.org/play?q=415#example/tuples

[krassowski]

With https://github.com/jupyterlab/jupyterlab-plugin-playground/pull/28 the extensions from https://github.com/jupyterlab/extension-examples now just "work". Regarding the delivery, jupyterlab-github is still looking good. An alternative would be to use git submodule which would freeze the examples (and after testing we can be confident that the examples will work with playground) - we only have a single version of @jupyterlab and lumino packages available at runtime anyways, so we don't need any dynamic capabilities of jupyterlab-github, and having a dedicated UI would be better UX-wise.

[jtpio]

Very exciting, thanks a lot @krassowski for pushing on this!