Hola, soy Adrián Lattes. Estudié el grado de matemáticas. Me gusta escuchar y aprender sobre música, hacer programas de radio, cacharrear con ordenadores y viajar en bicicleta.
- En el repositorio nixos-configs puedes encontrar mis configuraciones de mis máquinas linux y software que utilizo (nixos es la distribución que utilizo).
- En neovim-flake está la configuración de mi editor de texto, neovim, utilizando flakes.
- Plaintex time tracker, parser de un DSL para gestión de tiempo en Haskell. Proyecto sin terminar.
- jobo_bot es un bot de telegram para estar al día de los eventos de Jobo, el abono de cultura joven del Ayuntamiento de Madrid.
- impo es un script de python para imposicionar documentos pdf.
- Proyectos de arte generativo en p5js.
- Mi trabajo de fin de grado en el que aprendí a usar el lenguaje Lean y lo utilicé para formalizar resultados de geometría euclídea.
- Entregas e implementaciones de tipos de datos para la asignatura de Estructuras de datos, en c++.
- Entragas de Programación paralela, en python. Las entregas de spark están en un repositorio separado.
- Entrega de Programación declarativa, en haskell.
- Entregas de Álgebra computational, en python.
- Entregas de Geometría computational, en python.
- Entregas de Análisis numérico para ecuaciones diferenciales, en matlab.
- Apuntes inconclusos de Ecuaciones algebraicas, en LaTeX.
- Entrega de Optimización