Skip to content
View ValueAchooMatthew's full-sized avatar
👋
👋
11 followers · 16 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Shark

Highlights

  • Pro

Block or report ValueAchooMatthew

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ValueAchooMatthew/README.md

Hi 👋 I'm Matthew :)

I'm a Software Engineering student at McMaster University with a minor in Mathematics. Right now I'm a Software Engineer Co-op at AMD, and alongside that I do research on automated theorem proving at McMaster.

Some things I've built:

  • ProofGuard: a checker for first-order logic proofs. It placed 5th at the ProoVer 2026 competition.
  • Inner Machinations: a desktop app for creating and testing DFAs, NFAs, and regular expressions (Rust, Tauri, SvelteKit).
  • SpotiSize: see your top Spotify artists and songs as interactive bubbles (Next.js, TypeScript).

More about me at valueachoomatthew.me, or email me at matthewtamerfarah@gmail.com.

Pinned Loading

  1. SpotiSize SpotiSize Public

    Visualize your top Spotify artists and songs as interactive bubbles (Next.js, TypeScript)

    TypeScript 4 2

  2. inner-machinations inner-machinations Public

    Desktop app for creating, visualizing, and testing DFAs, NFAs, and regular expressions (Rust, Tauri, SvelteKit)

    Rust 1

  3. ProofGuard ProofGuard Public

    ProofGuard: a checker for first-order logic proofs in TSTP format. Placed 5th at ProoVer 2026 (FLoC 2026, Lisbon).

    Python 1