PedroSilva9

Pedro Silva's repositories

MEIO

Alguém se lembrou de usar um martelo para pintar paredes.

Language:Haskell1 20

PF

Language:Haskell100

ATS

ATS 2020

Language:Haskell000

CP

Fichas de Cálculo de Programas

Language:Haskell000

CP-Trabalho

Trabalho de CP

Language:Haskell000

django-allauth

Integrated set of Django applications addressing authentication, registration, account management as well as 3rd party (social) account authentication.

Language:PythonMIT000

doom.d

My personal config for doom emacs

Language:Emacs Lisp000

dotfiles

my dotfiles

Language:Vim Script000

DPUM

Desafio de Programação da Universidade do Minho

Language:Elixir000

dwm

My dwm config

Language:CMIT000

gramine-spark

Language:DockerfileApache-2.0000

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.

Apache-2.0000