Sou Mateus Galdino, estudante de Engenharia da Computação da UFPE. Meus projetos atuais são voltados para as linguagens de JavaScript/Typescript e Python, mas também tenho familiaridade com outras linguagens como C, C++ e C#.
I am Mateus Galdino, Computer Engineering student at UFPE, Brazil. My current projects are aimed toward JavaScript/Typescript and Python, but i also have familiarity with C, C++ and C#.
- 🌱 Learning more about functional programming and proofs: Agda, Rocq, Haskell, and more.

