Skip to content
View ayhon's full-sized avatar
👔
Doing formal methods
👔
Doing formal methods
19 followers · 19 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report ayhon

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ayhon/README.md

Hi there 👋

In the internet I'm known as ayhon. I'm a CompSci and Math graduate, currently doing my masters in Computer Science research.

What are some interesting repos to look at? Well, I would start with the ones pinned bellow.

You can find my personal website here. I sometimes post about stuff there.

To contact me, reach out through my socials in the side bar.

Have a nice day!

Pinned Loading

  1. University-Projects University-Projects Public

    Collection of projects and other relevant files from my years in university

  2. lapce-color-theme-adwaita lapce-color-theme-adwaita Public

    An attempt to create a Lapce theme that feels at home in the GNOME Desktop Environment

    Python 2

  3. AdventOfCode2021 AdventOfCode2021 Public

    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

    Haskell

  4. AdventOfCode2022 AdventOfCode2022 Public

    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.

    HTML 1

  5. learn-haskell-for-greater-good learn-haskell-for-greater-good Public

    My notes of the book Learn Haskell for Greater Good

    Haskell

  6. GeolocalizacionPueblosAsturias GeolocalizacionPueblosAsturias Public

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

    Python 2