Philippou and Kouzapas have proposed a privacy-related framework, consisting of a variant of the π-calculus, called Privacy Calculus, that describes the interactions of processes, a privacy policy language, a type system that serves to check whether Privacy Calculus processes respect privacy policies. The file privacy-calculus/privacy.maude contains an executable implementation in the programming/specification language Maude of a version of the Privacy Calculus, along with its associated privacy policy language and type checker. For more information, see the file README.md. The files examples/example-sales.maude and examples/test-sales.maude include a simple example of how the implementation can be used. Compared to v0.2, this version: adds two Privacy Calculus processes: silent prefix and choice operator, merges some modules and splits the code into multiple files, renames some sorts (most importantly, private data types are renamed to user data types).