Skip to content
View DMDTague's full-sized avatar
🫠
Focusing
🫠
Focusing

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Block or report DMDTague

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
DMDTague/README.md
Dylan Tague profile banner

Dylan Tague

Mathematics student from Philadelphia.

I don't really sit down looking for projects. Most of these start because something I care about — math, music, chess, transit, design, or whatever else catches my attention — gives me an idea, and I spend my free time seeing how far I can take it.

Featured Projects

∀ Exact List Edge Labelings

My undergraduate mathematics thesis and its Lean 4 / Mathlib formalization.

Exact-list bounds for finite bipartite multigraphs, Latin-square consequences, and related cubic bipartite graph structure.

Lean 4 Mathlib Combinatorics

🎧 Tether

A music-centered social platform prototype built around synchronized listening.

Profiles, reviews, lists, messaging, discovery, shared sessions, presence, and privacy/safety systems.

FastAPI JavaScript WebSockets

♟️ Pickle

A from-scratch C++ chess engine built around my own search and handcrafted evaluation, currently around 2450 local calibrated Elo.

Alpha-beta/PVS search, transposition tables, PickleBook, UCI support, engine testing, and WebAssembly browser play.

C++ Alpha-Beta WebAssembly

🚇 SEPTA Recovery Atlas

An interactive Philadelphia transit dashboard combining historical ridership analysis with live SEPTA feeds.

Maps, recovery trends, Regional Rail performance, detours, exports, and exploratory network tools.

React Vite Leaflet Recharts

Tools & Languages

Lean 4 Python C++ FastAPI React Vite Pandas NumPy Git

A Note on Influence

If you're a person and something here gives you an idea, take inspiration from it. I don't mind other humans borrowing from my interfaces, layouts, or designs and making them their own.

Please don't scrape or feed my repositories into AI systems to generate cloned projects, portfolio filler, or AI slop.

Beyond the Projects

Kickboxing/BJJ, blitz chess, piano, Jeff Buckley, Radiohead, and two cats named Leonard and Mac.

Pinned Loading

  1. PA-Attendance-Portfolio PA-Attendance-Portfolio Public

    Longitudinal analysis of Pennsylvania school district attendance (2001–2009). Python pipeline cleans 8 Excel files, engineers trends, clusters districts, quantifies lost instructional time, and for…

    JavaScript

  2. Septa-Dashboard Septa-Dashboard Public

    A COVID-era ridership analysis for SEPTA, combining a Python data pipeline with a React/Vite dashboard. Shows mode- and route-level recovery, trends from 2014–2025, and clear insights for planners …

    JavaScript

  3. Race-2-1 Race-2-1 Public

    Interactive analysis of Dr. Mihai Nica’s Guess-Who strategy model. Recreates his simulator, exposes the Race-to-1 rules mismatch, implements corrected turn-based mechanics (Death Valley), and compa…

    JavaScript

  4. ecommerce-capital-allocation ecommerce-capital-allocation Public

    Strategic capital allocation strategy for a $32.87M e-commerce portfolio. Uses Google Sheets and Python (OLS, ANOVA) to identify $4.59M in revenue upside via discount elimination and regional optim…