Raรบl Pardo (@raulpardo)
github

raulpardo

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    16
  • Global Rank 735,430 (Top 26 %)
  • Followers 7
  • Following 1
  • Registered over 10 years ago
  • Most used languages
    Shell
         30.0 %
    JavaScript
         10.0 %
    Java
         10.0 %
    C
         10.0 %
    TeX
         10.0 %
    Erlang
         10.0 %
    SCSS     10.0 %
    Ruby
         10.0 %
  • Location ๐Ÿ‡ธ๐Ÿ‡ช Sweden
  • Country Total Rank 5,672
  • Country Ranking
    SCSS     101
    Erlang
         160
    TeX
         318
    Ruby
         498
    Shell
         682
    C
         1,386
    Java
         1,549
    JavaScript
         3,248

Top repositories

1

thunderbird-langtool-mailextension

LanguageTool extension for Thunderbird
JavaScript
2
star
2

upload-remarkable-curl

Simple script that uploads a pdf file to the Remarkable tablet via curl
Shell
2
star
3

casino-contract-java-solidity

Java
2
star
4

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
Ruby
2
star
5

personal-website

SCSS
1
star
6

pilot-risk-analysis-model

Model in PROMELA of the PILOT privacy policy language to perform automatic privacy risk analysis
C
1
star
7

quick-add-event

Simple bash script to call quick-add-event from gcalcli indicating the timezone CET
Shell
1
star
8

atom-update-ubuntu

Simple script that updates the text editor Atom in Ubuntu
Shell
1
star
9

kbl-model-checker

Prototype model checker for the logic KBL
Erlang
1
star
10

nwpt2016

Abstract for NWPT 2016
TeX
1
star