Skip to content
View mayconamaro's full-sized avatar
๐ŸŒˆ
Proud
๐ŸŒˆ
Proud

Highlights

  • Pro

Block or report mayconamaro

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

Hi there ๐Ÿ‘‹

Iโ€™m Maycon Amaro, a brazilian MSc in Computer Science and a former professor at the Federal University of Ouro Preto. Currently, I work as a Software Development Engineer in Test at a payments company.

I love compilers! And that includes:

  • formal methods
  • functional programming
  • type theory
  • design and implementation of programming languages
  • standard libraries

Pinned Loading

  1. ringell ringell Public archive

    A work-in-progress compiler that ensures termination

    Haskell 6

  2. CSDynamicCurriculum CSDynamicCurriculum Public

    Dynamic Computer Science Curriculum for Federal University of Ouro Preto

    JavaScript 6 1