+
Skip to content
View mayconamaro's full-sized avatar
🌈
Proud
🌈
Proud
57 followers · 66 following

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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 7 1

点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载