Skip to content
View vmmc2's full-sized avatar
💭
I'm getting better. Can't you tell?
💭
I'm getting better. Can't you tell?
52 followers · 72 following
  • Recife, Brazil

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report vmmc2

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

Hello there!

About myself:

  • 🌍 Based in Recife, PE - Brazil.
  • 🎓 Academic Experience:
    • I have obtained my Bachelor's degree in Computer Engineering from the Federal University of Pernambuco, located in Brazil.
  • 🔍 Currently, my main interests in Computer Science are:
    • Algorithms & Data Structures
    • Compilers, Programming Languages and Proof Assistants
    • Theoretical Computer Science
  • ✉️ Feel free to reach me at [email protected] or [email protected].
  • ✉️ My Codeforces profile: facelifty.

Currently, I am heavily working with these tools on a daily basis:

In the past, I have worked with the following tools:

Pinned Loading

  1. Vulcan Vulcan Public archive

    RISC-V Instruction Set Simulator (Built for education).

    Dart 104 10

  2. Bleach Bleach Public

    The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."

    C++ 34 1

  3. Senbonzakura Senbonzakura Public

    Compiler written in C++ for the Eta programming language, presented at "CS 4120 - Introduction to Compilers" course from Cornell University.

    C++

  4. Crafting-Interpreters Crafting-Interpreters Public

    Implementations from the book "Crafting Interpreters" by Bob Nystrom.

    C++

  5. Knuth Knuth Public

    An algorithms and data structures library written in C++20.

  6. LLVM-Studies LLVM-Studies Public

    Repository that contains my personal notes about LLVM and Clang.