Claus Schätzle's repositories
bash-loadable-is-array-dense
A bash loadable builtin command to check if an array is dense
stablepartition
Stabily partitions an array of length n in O(n) time and O(1) extra space
vmcai-badges
Badges for the artifact evaluation of the VMCAI conference. Put these on your papers.
printsignal
Linux command line tool to print received signals together with their sender