Github Provide fine-grained push access to GitHub from a JupyterHub Provide fine-grained push access to GitHub from a JupyterHub 23 January 2022
Scripts Run shell script in Jupyter with live output Run shell script in Jupyter with live output 03 January 2022
jupyterhub Jupiterweb Data Extractor For Python Jupiterweb Data Extractor For Python 05 December 2021
Jupyter notebooks A system for assigning and grading notebooks A system for assigning and grading notebooks 04 October 2021