PO

Michal Podhradsky

@podhrmic

Portland

Website

Joined November 2012

43 Followers

5 Following

AI Insights & Achievements

32/ 100

Veteran

Coding for 14 years.

Organizations

PA

Public Repos

50

Total Stars

33

Total Forks

17

Public Gists

5

Top Languages

Based on primary language of repositories

Recent Activity

Contribution Graph

Activity Timeline

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

High productivity periods

Most active day: January 21st, 2026 • 29 contributions

Most active week: Jan 19–Jan 25 • 61 contributions

Most active month: Jan 2026 • 109 contributions

Pushed to master at GaloisInc/util_libs

February 6th, 2026 8:49 PM

IssueCommentEvent on GaloisInc/what4-solvers

January 29th, 2026 9:19 PM

opened issue in rems-project/cn

January 29th, 2026 6:58 PM

DeleteEvent on GaloisInc/what4-solvers

January 28th, 2026 9:56 PM

merged pull request in GaloisInc/what4-solvers

January 28th, 2026 9:55 PM

Pushed to main at GaloisInc/what4-solvers

January 28th, 2026 9:55 PM

PullRequestReviewEvent on GaloisInc/what4-solvers

January 28th, 2026 7:55 PM

PullRequestReviewCommentEvent on GaloisInc/what4-solvers

January 28th, 2026 7:55 PM

Pushed to ubi9-support-experiment-with-containerized-build at GaloisInc/what4-solvers

January 28th, 2026 7:55 PM

Pushed to ubi9-support-experiment-with-containerized-build at GaloisInc/what4-solvers

January 28th, 2026 7:51 PM

GitHub Analytics

Michal Podhradsky

Veteran