What is "pwntools" Package? CTF framework used by Gallopsled in every CTF For more details: https://pwntools.com/ Installation Open Terminal by pressing command+space then type terminal and hit Enter key. Install…
What is "proof-general" Package? Emacs-based generic interface for theorem provers For more details: https://proofgeneral.github.io Installation Open Terminal by pressing command+space then type terminal and hit Enter key. Install homebrew first.ruby…
What is "pgrouting" Package? Provides geospatial routing for PostGIS/PostgreSQL database For more details: http://www.pgrouting.org Installation Open Terminal by pressing command+space then type terminal and hit Enter key. Install homebrew first.ruby…
What is "pari" Package? Computer algebra system designed for fast computations in number theory For more details: https://pari.math.u-bordeaux.fr/ Installation Open Terminal by pressing command+space then type terminal and hit Enter…
What is "pg_top" Package? Monitor PostgreSQL processes For more details: http://ptop.projects.postgresql.org/ Installation Open Terminal by pressing command+space then type terminal and hit Enter key. Install homebrew first.ruby -e "$(curl -fsSL…
What is "p0f" Package? Versatile passive OS fingerprinting, masquerade detection tool For more details: http://lcamtuf.coredump.cx/p0f3/ Installation Open Terminal by pressing command+space then type terminal and hit Enter key. Install homebrew…
What is "pyenv-which-ext" Package? Integrate pyenv and system commands For more details: https://github.com/yyuu/pyenv-which-ext Installation Open Terminal by pressing command+space then type terminal and hit Enter key. Install homebrew first.ruby -e…
What is "pod2man" Package? perl documentation generator For more details: https://www.eyrie.org/~eagle/software/podlators/ Installation Open Terminal by pressing command+space then type terminal and hit Enter key. Install homebrew first.ruby -e "$(curl -fsSL…
What is "pypy" Package? Highly performant implementation of Python 2 in Python For more details: https://pypy.org/ Installation Open Terminal by pressing command+space then type terminal and hit Enter key. Install…
What is "qscintilla2" Package? Port to Qt of the Scintilla editing component For more details: https://www.riverbankcomputing.com/software/qscintilla/intro Installation Open Terminal by pressing command+space then type terminal and hit Enter key. Install…