PedroSilva9
Software Engineering Student at Universidade of Minho, Portugal. Currently doing my Majors Degree on Distributed Systems & Formal Methods.
DipcodePortugal
Pinned Repositories
ATS
ATS 2020
CP
Fichas de Cálculo de Programas
CP-Trabalho
Trabalho de CP
django-allauth
Integrated set of Django applications addressing authentication, registration, account management as well as 3rd party (social) account authentication.
doom.d
My personal config for doom emacs
dotfiles
my dotfiles
DPUM
Desafio de Programação da Universidade do Minho
dwm
My dwm config
gramine-spark
MEIO
Alguém se lembrou de usar um martelo para pintar paredes.
PedroSilva9's Repositories
PedroSilva9/MEIO
Alguém se lembrou de usar um martelo para pintar paredes.
PedroSilva9/PF
PedroSilva9/ATS
ATS 2020
PedroSilva9/CP
Fichas de Cálculo de Programas
PedroSilva9/CP-Trabalho
Trabalho de CP
PedroSilva9/django-allauth
Integrated set of Django applications addressing authentication, registration, account management as well as 3rd party (social) account authentication.
PedroSilva9/doom.d
My personal config for doom emacs
PedroSilva9/dotfiles
my dotfiles
PedroSilva9/DPUM
Desafio de Programação da Universidade do Minho
PedroSilva9/dwm
My dwm config
PedroSilva9/gramine-spark
PedroSilva9/kube-linter
KubeLinter is a static analysis tool that checks Kubernetes YAML files and Helm charts to ensure the applications represented in them adhere to best practices.
PedroSilva9/LI1-18-19
Trabalho realizado na cadeira de Laboratórios de Informática I
PedroSilva9/PI
PedroSilva9/POO-18-19
Fichas de POO
PedroSilva9/POO_Trabalho
POO-18/19
PedroSilva9/rt
Request Tracker, an enterprise-grade issue tracking system
PedroSilva9/SO
Fichas da cadeira de Sistemas Operativos
PedroSilva9/SO_Trabalho18-19
Trabalho de Sistemas Operativos
PedroSilva9/st
99% of Luke Smith's build of st