raulpardo
Follow
-
Seminar on Foundations of Probabilistic Programming at the IT University of Copenhagen
-
-
LanguageTool extension for Thunderbird
-
jib Public
Forked from GoogleContainerTools/jib🏗 Build container images for your Java applications.
Java Apache License 2.0 UpdatedMar 28, 2025 -
hudi Public
Forked from apache/hudiUpserts, Deletes And Incremental Processing on Big Data.
Java Apache License 2.0 UpdatedMar 27, 2025 -
grpc-java Public
Forked from grpc/grpc-javaThe Java gRPC implementation. HTTP/2 based RPC
Java Apache License 2.0 UpdatedMar 27, 2025 -
-
pilot-tla Public
TLA+ mechanization of the semantics of the PILOT privacy policy language and refinements.
-
-
upload-remarkable-curl Public
Simple script that uploads a pdf file to the Remarkable tablet via curl
-
pilot-risk-analysis-model Public
Model in PROMELA of the PILOT privacy policy language to perform automatic privacy risk analysis
-
-
quick-add-event Public
Simple bash script to call quick-add-event from gcalcli indicating the timezone CET
-
latex-autocomplete Public
Forked from Evpok/latex-autocompleteLaTeX autocompletion for [atom](https://atom.io)
-
atom-update-ubuntu Public
Simple script that updates the text editor Atom in Ubuntu
-
-
ppf-diaspora Public
This project is a variation of the distributed social network Diaspora* by including a formal privacy policy framework based on Knowledge-based logic
-
diaspora Public
Forked from diaspora/diasporaDistributed and contextual social networking
-