A GitHub action to build data science environment images with repo2docker and push them to registries.
created at Oct. 21, 2019, 11:27 p.m.
A JupyterHub authenticator for LTI
created at Dec. 15, 2017, 2:54 a.m.
Jupyter server extension to sync a git repository one-way to a local path
created at May 24, 2017, 7:41 p.m.
Multi-user server for Jupyter notebooks
created at June 12, 2014, 11:22 p.m.