Skip to content
View Yag000's full-sized avatar
🌷
🌷
12 followers · 10 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Highlights

  • Pro

Block or report Yag000

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
Yag000/README.md

Yago Iglesias Vázquez

About Me

Hello! I am a Spanish Computer Science and Mathematics student at Paris Cité University. You can also read my CV.

Interests

My main areas of interest are Programming Language Theory, Functional Programming, and Type Theory. However, I am also open to exploring any other field of Computer Science or Mathematics.

Current Learning Focus

At the moment, I am actively learning and improving my skills in Rust and furthering my knowledge of OCaml.

Projects

During my free time, I am developing a set of tools for the Monkey Programming Language. The idea is to develop a compiler/interpreter for the language, a formatter, a linter, and a language server in rust. You can follow the development of the project here.

Key skills and Technologies

  • Programming Languages: Rust, OCaml, Python, Java, C and Bash.
  • Functional Programming: Experience with functional programming concepts and techniques.
  • Version Control: Proficient in using Git for version control and collaborative development.
  • GNU/Linux Environments: Familiarity with GNU/Linux command-line tools and scripting. I use Arch as my daily driver.
  • Mathematics: Solid foundation in mathematical concepts and their application to problem-solving.

Harlok's wakatime stats

Contact

Pinned Loading

  1. chimpanzee chimpanzee Public

    Monkey interpreter, compiler and formatter, in Rust, with added features

    Rust 3

  2. enum_stringify enum_stringify Public

    Macro to generate string conversion functions for enums

    Rust 2 1

  3. hferee/UIML hferee/UIML Public

    Uniform Interpolation for Modal Logics

    Coq 4 1

  4. wallshift wallshift Public

    Simple wallpaper updater using feh

    Rust

  5. jsh-tyy jsh-tyy Public

    C job control shell

    C 2

  6. subarasushi subarasushi Public

    Ocaml implementation of the game Sushi Go Party (original version on gitlab)

    OCaml 1 3