Skip to content




  • Pro


Block or Report

Block or report raulpardo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse


  1. This project is a variation of the distributed social network Diaspora* by including a formal privacy policy framework based on Knowledge-based logic

    Ruby 2

  2. Model in PROMELA of the PILOT privacy policy language to perform automatic privacy risk analysis

    C 1

  3. Prototype model checker for the logic KBL

    Erlang 1

  4. Assignment 3 of the Middleware Design and Implementation course at INSA Lyon (fall 2018)


  5. Forked from Evpok/latex-autocomplete

    LaTeX autocompletion for [atom](

    JavaScript 1

114 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri

Contribution activity

May 2021

raulpardo has no activity yet for this period.

April 2021

Created 5 commits in 1 repository
Opened 1 issue in 1 repository
1 open
6 contributions in private repositories Apr 29

Seeing something unexpected? Take a look at the GitHub profile guide.