ayhon

Expert
@ayhon

Doing the MPRI at ENS Paris-Saclay

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

2

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

2

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

2

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

1

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

1

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

1

dotfiles. My dotfiles

1

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.

1

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

1

williams-p-1. HTML

1

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

1
11
Apply