Pinned Repositories
privugger
Privugger (/prɪvʌɡə(r)/) is a privacy risk analysis library for python programs. Docs and tutorials: https://itu-square.github.io/privugger/
atom-update-ubuntu
Simple script that updates the text editor Atom in Ubuntu
casino-contract-java-solidity
diaspora
Distributed and contextual social networking
kbl-model-checker
Prototype model checker for the logic KBL
latex-autocomplete
LaTeX autocompletion for [atom](https://atom.io)
pilot-risk-analysis-model
Model in PROMELA of the PILOT privacy policy language to perform automatic privacy risk analysis
ppf-diaspora
This project is a variation of the distributed social network Diaspora* by including a formal privacy policy framework based on Knowledge-based logic
pymc3-ball-in-bucket
thunderbird-langtool-mailextension
LanguageTool extension for Thunderbird
raulpardo's Repositories
raulpardo/casino-contract-java-solidity
raulpardo/ppf-diaspora
This project is a variation of the distributed social network Diaspora* by including a formal privacy policy framework based on Knowledge-based logic
raulpardo/thunderbird-langtool-mailextension
LanguageTool extension for Thunderbird
raulpardo/upload-remarkable-curl
Simple script that uploads a pdf file to the Remarkable tablet via curl
raulpardo/atom-update-ubuntu
Simple script that updates the text editor Atom in Ubuntu
raulpardo/diaspora
Distributed and contextual social networking
raulpardo/kbl-model-checker
Prototype model checker for the logic KBL
raulpardo/latex-autocomplete
LaTeX autocompletion for [atom](https://atom.io)
raulpardo/nwpt2016
Abstract for NWPT 2016
raulpardo/personal-website
raulpardo/pilot-risk-analysis-model
Model in PROMELA of the PILOT privacy policy language to perform automatic privacy risk analysis
raulpardo/quick-add-event
Simple bash script to call quick-add-event from gcalcli indicating the timezone CET
raulpardo/pymc3-ball-in-bucket