Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Automounter for removable media
netcup DNS Authenticator plugin for Certbot
Information Theoretic Inequality Prover [ITIP] (C++/CLI version) - Evolution of Xitip: http://xitip.epfl.ch/
Polyhedral projection utility | specialized for the computation of Shannon type inequalities
Battery status indicator for awesome WM
Volume control for awesome window manager
this contains some bugfixes due to, I'm assuming, newer versions of the dependencies.
The name_scope change might not be what you intended, I'm…
Seeing something unexpected? Take a look at the
GitHub profile guide.