GitHub Analytics

GitHub Analytics

Loading...

Taylor Belcher - GitHub Analytics Profile

HO

Taylor Belcher

@hotdogontology

Math & CS Teacher, Part-Time CS PhD Student, Amateur Tiny Game Dev

Hartsville, SC

@hotdogontology

Joined July 2017

8 Followers

79 Following

AI Insights & Achievements

15/ 100

Veteran

Coding for 9 years.

Profile README

👋 Hi, I’m @hotdogontology
👀 I’m interested in type theory, quantum programming languages, and making games with PICO-8.
🌱 I’m currently learning Agda and Quipper.
💞️ I’m looking to collaborate on teaching proof writing with computers.
📫 You can send me an email at tbelcher (at) governors dot school.

Public Repos

30

Total Stars

1

Total Forks

0

Public Gists

0

Top Languages

Based on primary language of repositories

Recent Activity

24 contributions in 2025

LessMore

Contribution Graph

Activity Timeline

Commits and contributions grouped by day, week, or month.

High productivity periods

Most active day: February 9th, 2026 • 5 contributions

Most active week: Feb 9–Feb 15 • 5 contributions

Most active month: Aug 2025 • 9 contributions

Pushed to main at hotdogontology/AP-CSA-Unit-1

February 9th, 2026 8:55 PM

Created branch main in hotdogontology/AP-CSA-Unit-1

February 9th, 2026 8:49 PM

Pushed to main at hotdogontology/Java-Workflow

February 9th, 2026 8:45 PM

Pushed to main at hotdogontology/Java-Workflow

February 9th, 2026 8:43 PM

Forked cs-plus-plus/Java-Workflow

February 9th, 2026 8:23 PM

Forked cs-plus-plus/Java-Getting-Started

February 9th, 2026 8:22 PM

Starred ManimCommunity/manim

January 28th, 2026 7:52 PM