algorithm 16 python 16 docker 2 git 2 linux 2 ubuntu 2 anaconda 1 ethereum 1 oyente 1 pyenv 1 shell 1 souffle 1 stl 1 vandal 1 vim 1