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
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
p5js
My p5.js sketches
radio-klein
haztecaso's Repositories
haztecaso/bwmenu
bitwarden-cli rofi wrapper written in python and with qutebrowser userscripts support
haztecaso/edat21
Ejercicios y entregas de Estructuras de Datos, curso 21/22.
haztecaso/impo
Impo is a program for impositioning documents.
haztecaso/nixos-configs
nix[os] configs for my machines
haztecaso/p5js
My p5.js sketches
haztecaso/radio-klein
haztecaso/acomp22
haztecaso/annu20
Pŕacticas de análisis numérico
haztecaso/AoC21
My solutions to Advent of Code 2021
haztecaso/docker-compose-old-server
Dockerizing haztecaso.com
haztecaso/eal21
Apuntes de la asignatura de Ecuaciones Algebraicas del curso 20-21.
haztecaso/euclidean-geometry-lean
Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.
haztecaso/jobo_bot
Bot para recibir avisos de los eventos de jobo.
haztecaso/neovim-flake
Custom neovim configs
haztecaso/practicas-spark
Prácticas de programación paralela en Apache Spark
haztecaso/prde20-entrega
Entrega de programación declarativa. Implementación del meta tres en raya.
haztecaso/gcomp22
Prácticas de la asignatura Geometría Computacional, año 2022.
haztecaso/haskell-logic
haztecaso/haztecaso
haztecaso/mpdws
MPD WebSocket API
haztecaso/opti-entrega
Entrega de Optimización
haztecaso/paralela21
Códigos de Programación paralela.
haztecaso/processing
haztecaso/ptt
Plaintext time tracker
haztecaso/radio
Docker compose radio setup
haztecaso/remadbot
Bot de telegram que envía avisos sobre nuevas bicicletas en el servicio de intercambio de objetos del ayuntamiento de Madrid, ReMAD.
haztecaso/templates
Template for poetry python projects managed with nix flakes.