zanitete/jupyterhub
Multi-user server for Jupyter notebooks
Public repository discovered through GitHub real-time crawl.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Multi-user server for Jupyter notebooks
Modern XMPP in the browser, with a JSON API
An asynchronous CodeMirror lint plugin that will receive code, send it to a callback (that can send it somewhere via Ajax, etc..), and apply any discovered errors on return.
An AngularJS directive that creates a Tree based on a Bootstrap "nav" list.