haztecaso
Graduated in maths, Interested in geometry, logic and formal methods. I'm also a self-taught web developer. I love free software and use nixos on my machines
Spain
Pinned Repositories
acomp22
annu20
Pŕacticas de análisis numérico
AoC21
My solutions to Advent of Code 2021
bwmenu
bitwarden-cli rofi wrapper written in python and with qutebrowser userscripts support
edat21
Ejercicios y entregas de Estructuras de Datos, curso 21/22.
euclidean-geometry-lean
Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.
impo
Impo is a program for impositioning documents.
neovim-flake
Custom neovim configs
nixos-configs
nix[os] configs for my machines
haztecaso's Repositories
haztecaso/prde20-entrega
Entrega de programación declarativa. Implementación del meta tres en raya.