ayhon

GeolocalizacionPueblosAsturias. Pequeño script de python que usa tanto `OpenStreetMaps` como `pueblosdeasturias.es` para sacar información de los pueblos de Asturias

lapce-color-theme-adwaita. An attempt to create a Lapce theme that feels at home in the GNOME Desktop Environment

sha3.lean. SHA-3 Spec defined in Lean 4

hello-world. The hello-world repository from the GitHub Beginners Guide. Thank you GitHub for the website

craftinginterpreters. My notes and implementation of the code in the book https://craftinginterpreters.com/. But in Scala and Rust instead of Java and C

sha3.rs. Implementation of SHA3 in Rust, verified in Lean with Aeneas.

dotfiles. My dotfiles

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.

practica-pl. Implementación de un compilador de Ditto a WASM

williams-p-1. HTML

bevy-minesweeper. A simple minsweeper game in bevy. I'm learning bevy with this!