Skip to content

Instantly share code, notes, and snippets.

View bollwyvl's full-sized avatar

Nicholas Bollweg bollwyvl

View GitHub Profile
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@bollwyvl
bollwyvl / rich-input.md
Last active December 18, 2022 20:34
Jupyter Rich Input

Rich Input for Jupyter Cells

Elevator Pitch

Extend the Jupyter Notebook Format to offer an optional input field for all Cell types. This is an object which mirrors rich display outputs, providing data and associated metadata, both dictionaries keyed by MIME types.

Jupyter Clients that create and edit Notebooks MAY create this field, but MUST continue to emit the source field as the most-portable source-of-truth.

"""opinionated re-purposing of ``jsonschema_gentypes``
@see https://github.com/camptocamp/jsonschema-gentypes/issues/134
"""
import sys
from typing import Any, List, Optional, Type, TypeVar
T = TypeVar("T")
@bollwyvl
bollwyvl / README.md
Last active October 28, 2022 16:24
are we 3.11 yet?

Are we 3.11 yet? Binder

This is tracking the progress of launching JupyterLab 3.x on binder against conda-forge's python311 migration.

Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@bollwyvl
bollwyvl / README.md
Last active September 9, 2022 16:27
a jupyterlab latex environment
@bollwyvl
bollwyvl / README.md
Last active September 2, 2022 19:56
ipydrawio 1.2.1

Binder

@bollwyvl
bollwyvl / FiraCode-Regular.css
Last active August 5, 2022 12:05
FiraCode Webfont
/* Generated by Fontie - the magic webfont generator <http://fontie.flowyapps.com> */
@font-face {
font-family:'FiraCode-Regular';
src: url('FiraCode-Regular.eot');
src: url('FiraCode-Regular.eot?#iefix') format('embedded-opentype'),
url('FiraCode-Regular.woff') format('woff'),
url('FiraCode-Regular.ttf') format('truetype'),
url('FiraCode-Regular.svg#FiraCode-Regular') format('svg');
font-weight: 400;
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.