Skip to content
View mateidragony's full-sized avatar
😎
Bein a Cool Dude
😎
Bein a Cool Dude
15 followers · 12 following

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Highlights

  • Pro

Organizations

@ColumbusNorthHighSchoolCodingClub

Block or report mateidragony

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

😎 Hey y'all I'm Matei!

Welcome to my wondrous github page! (don't get lost in my "spaghetti code" - Calvin Josenhans)

About me

  • 🍎 Im currently a student at IU Bloomington
  • 💻️ I'm studying CS (woo!)
  • 👀 I like PL and Systems (and I suppose frontend as well...)
  • 🌱 I'm learning cool things and other (also cool) things (compilers and pl wonkery)
  • 📫 You can reach me via pull request
  • 🦄 My pronouns are he/him
  • ⚡️ Fun fact - idk (I'll fill this in later...)

Checkout the cool languages i use!

Top Langs

Pinned Loading

  1. racket-compiler racket-compiler Public

    Now what we really needed was a slow, unoptimized, potentially error-prone racket compiler which doesn't even compile all of racket.

    Racket 3

  2. deduce deduce Public

    Forked from jsiek/deduce

    A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

    HTML

  3. bareOS bareOS Public

    Everything the Linux kernel wishes it was.

    C

  4. Luddy-LLC/MegaPuzzle2024 Luddy-LLC/MegaPuzzle2024 Public

    The source code for the Luddy LLC 2024 Mega Puzzle!

    HTML

  5. AoC AoC Public

    Advent of Code competition (for all the years that I've done it)

    Java

  6. SuperSmashMateis SuperSmashMateis Public

    We have SuperSmashBros at home.

    Java 1 1