-
jupyterlab-server-timer Public
JupyterLab extension that displays a timer for the remaining time the server is expected to run.
TypeScript BSD 3-Clause "New" or "Revised" License UpdatedSep 18, 2024 -
-
libnfsidmap-regex Public
libnfsidmap plugin using regex based mapping
-
ansible Public
Ansible plugins, modules or related tools
-
notify-user Public
Wrapper for Debians notify-send program
-
gitlab_tools Public
A collection of tools we use to manage our Gitlab CE service. This includes tools to backup / restore or search metadata.
-
user-keytab Public
Create local AD user keytabs
-
collectd_plugins Public
A collection of collectd plugins written by us
-
-
openstack_tools Public
A collection of Openstack tools we use to manage clouds at the departement of informatics at the ETH Zurich
-
rrdscout Public
RRDscout is a web frontend to generate rrd graphs from rrd files created by collectd.
-
config5 Public
Config5 is a configuration management utility for UNIX systems. It is particularly well suited to manage large numbers of systems in an enterprise where the configuration varies in the various orga…
-
{{ message }}