Pinned Repositories
Lockbox
The Lockbox puzzle for Brown Puzzle Hunt 2024
logo-gen
PerfectGraphs
This is a repository with code for animations used for a video project for MATH 1230: Graph Theory. Animations were created using manim from ManimCommunity.
Reduplication
rubiks-cube
A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.
SpacePiracy
This is a repository for the interactive Space Piracy puzzle which is part of the 2023 Brown Puzzle Hunt.
ccv-website-hugo
CCV Hugo Website
async-typescript-lab-AlexDuchnowski
async-typescript-lab-AlexDuchnowski created by GitHub Classroom
react-lab-AlexDuchnowski
react-lab-AlexDuchnowski created by GitHub Classroom
grinpy
A NetworkX extension for calculating graph invariants.
AlexDuchnowski's Repositories
AlexDuchnowski/rubiks-cube
A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.
AlexDuchnowski/Lockbox
The Lockbox puzzle for Brown Puzzle Hunt 2024
AlexDuchnowski/SpacePiracy
This is a repository for the interactive Space Piracy puzzle which is part of the 2023 Brown Puzzle Hunt.
AlexDuchnowski/logo-gen
AlexDuchnowski/PerfectGraphs
This is a repository with code for animations used for a video project for MATH 1230: Graph Theory. Animations were created using manim from ManimCommunity.
AlexDuchnowski/Reduplication