Pinned Repositories
srandom
FASTEST /dev/urandom PRNG available
packaging.python.org
Python Packaging User Guide
bash-loadable-is-array-dense
A bash loadable builtin command to check if an array is dense
printsignal
Linux command line tool to print received signals together with their sender
stablepartition
Stabily partitions an array of length n in O(n) time and O(1) extra space
tursi
Turing Machine Simulator
vmcai-badges
Badges for the artifact evaluation of the VMCAI conference. Put these on your papers.
ultimate
The Ultimate program analysis framework.
fq
jq for binary formats - tool, language and decoders for working with binary and text formats
schaetzc's Repositories
schaetzc/tursi
Turing Machine Simulator
schaetzc/bash-loadable-is-array-dense
A bash loadable builtin command to check if an array is dense
schaetzc/stablepartition
Stabily partitions an array of length n in O(n) time and O(1) extra space
schaetzc/vmcai-badges
Badges for the artifact evaluation of the VMCAI conference. Put these on your papers.
schaetzc/printsignal
Linux command line tool to print received signals together with their sender