Projects

• Lockbox

  A multicolored maze game where you have control over the maze's layout

  • Interactive
  • Puzzle
  • Python

• Perfect Graphs Video

  A video explaining the concept of perfect graphs and some mathematical results about them

  • Graph Theory
  • Python
  • Manim

• Part of Speech and the Semantic Contribution of Reduplication

  An analysis of the uses and meanings of reduplication in movie dialogues

  • Corpus Linguistics
  • Data Science
  • R

• Rubik's Cube Representation

  A representation of the Rubik's Cube and some computer-verified proofs about its properties

  • Computer-Assisted Proofs
  • Lean 4

• Space Piracy

  A black-box, number-guessing puzzle

  • Interactive
  • Puzzle
  • Python

• Website

  The website you are currently viewing

  • Astro
  • TypeScript
  • HTML
  • CSS