Pinned Repositories
AdventOfCode2021
My solutions to 2021's Advent Of Code. This year I used the problems to learn Haskell. Unfortunately, I didn't have time to finish all of the problems
AdventOfCode2022
My solutions for 2022's Advent Of Code. I'm using these problems to learn the Rust programming language. Unfortunately, this year exams also prevented me from finishing the problems.
bevy-minesweeper
A simple minsweeper game in bevy. I'm learning bevy with this!
craftinginterpreters
My notes and implementation of the code in the book https://craftinginterpreters.com/. But in Scala and Rust instead of Java and C
dotfiles
My dotfiles
GeolocalizacionPueblosAsturias
Pequeño script de python que usa tanto `OpenStreetMaps` como `pueblosdeasturias.es` para sacar información de los pueblos de Asturias
hello-world
The hello-world repository from the GitHub Beginners Guide. Thank you GitHub for the website
lapce-color-theme-adwaita
An attempt to create a Lapce theme that feels at home in the GNOME Desktop Environment
learn-haskell-for-greater-good
My notes of the book Learn Haskell for Greater Good
University-Projects
Collection of projects and other relevant files from my years in university
ayhon's Repositories
ayhon/lapce-color-theme-adwaita
An attempt to create a Lapce theme that feels at home in the GNOME Desktop Environment
ayhon/AdventOfCode2022
My solutions for 2022's Advent Of Code. I'm using these problems to learn the Rust programming language. Unfortunately, this year exams also prevented me from finishing the problems.
ayhon/bevy-minesweeper
A simple minsweeper game in bevy. I'm learning bevy with this!
ayhon/craftinginterpreters
My notes and implementation of the code in the book https://craftinginterpreters.com/. But in Scala and Rust instead of Java and C
ayhon/dotfiles
My dotfiles
ayhon/practica-pl
Implementación de un compilador de Ditto a WASM
ayhon/williams-p-1
ayhon/AdventOfCode2021
My solutions to 2021's Advent Of Code. This year I used the problems to learn Haskell. Unfortunately, I didn't have time to finish all of the problems
ayhon/ayhon
ayhon/Bento
🍱 The minimalist, elegant and hackable startpage.
ayhon/University-Projects
Collection of projects and other relevant files from my years in university
ayhon/bearblog-theme-ayu
An ayu theme for bearblog.dev
ayhon/curso-lean
ayhon/DGs3-IS1-Proyecto
ayhon/DGs4-ED-Ejercicios
ayhon/DGs4-IS2-Proyecto
ayhon/DGs5-IML-Exercises
ayhon/DGs7-IA1-Laboratorios
ayhon/DGs8-IA2-Practicas
Prácticas de la asignatura Inteligencia Artificial 2
ayhon/entrega-ac
ayhon/logai-proj
ayhon/nacional-adabyron-2024
Soluciones a los problemas de la final nacional del concurso de programación competitiva AdaByron 2024
ayhon/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
ayhon/raylean
Lean4 bindings for raylib
ayhon/segment-tree
ayhon/textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
ayhon/TFGCoq
Arithmetic constraints resolver verified in Coq for the certification of EVM optimizations
ayhon/TheAlgorithms-Python
All Algorithms implemented in Python
ayhon/website
ayhon/zenoh
zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.