haztecaso / euclidean-geometry-lean Goto Github PK

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