Skip to content
View jotaalvim's full-sized avatar

Highlights

  • Pro

Block or report jotaalvim

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

My name is João Alvim. I'm in my second year of my masters degree in Formal Methods, Development Validation and Maintenance of Software at University of Minho. I love for programming and open-source software, to which I am trying to make more and more contributions.

I was introduced to programming when I was 10 in coderdojo, starting with scratch and soon after beeing introduced to python. Many years later, in university, I got the chance to be a volunteer there, teaching young kids! Also in university, I discovered haskell, and since then, haskell has been my go to language.

I started learning the harpsichord when I was 6, but two years later I changed to piano. I studied piano until I enrolled in university. Now I'm currently attending piano jazz lessons.

As a musician, I feel that Haskell and Music have an interesting connection. Both have a very special relationship between expressive power and clean notation, making them perfect for abstract and artistic thinking.

Additionally Cofounded a Music Chamber group, Camerata Minhota at my university. Besides colaboratting for the Software Engineering Students Association CeSIUM helping them organize talks and events. Moreover, took charge as coach and manager of my university's chess club.

Connect with me:

Instagram Instagram LinkedIn

Pinned Loading

  1. chess-heatmaps chess-heatmaps Public

    chess heat maps

    Python 5 1

  2. cbirds cbirds Public

    Pointfree Python with Combinator Birds

    Python 3

  3. instagram-puzzles-generator instagram-puzzles-generator Public

    instagram chess puzzle generater

    Python 1

  4. brainfuck-haskell brainfuck-haskell Public

    BrainFuck Interpreter in Haskell

    Haskell

  5. jotaalvim-tools jotaalvim-tools Public

    Haskell

  6. datalist datalist Public

    Implementation of all Haskell Data.List functions

    Haskell