Node.js native addon build tool

Multi-user server for Jupyter notebooks

A beautiful and useful prompt for your shell

A Django application to manage tickets for an internal helpdesk. Formerly known as Jutda Helpdesk.

A parser for a condensed HTML format

MySQL Operator for Kubernetes

A powerful & scriptable shell for Apache ZooKeeper

A tool to install, configure and manage Presto installations