WI

Christoph M. Wintersteiger

@wintersteiger

London, UK

Website

Joined December 2014

94 Followers

2 Following

AI Insights & Achievements

33/ 100

Consistency

8 day streak.

Veteran

Coding for 12 years.

Influencer

94 followers.

Public Repos

49

Total Stars

11

Total Forks

2

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 7th, 2026 • 15 contributions

Most active week: Nov 24–Nov 30 • 36 contributions

Most active month: Jul 2025 • 105 contributions

Pushed to christoph/named-hypotheses at imandra-ai/imandrax-api

February 3rd, 2026 8:00 PM

Pushed to christoph/named-hypotheses at imandra-ai/imandrax-api

February 3rd, 2026 7:33 PM

opened pull request in imandra-ai/imandrax-api

February 3rd, 2026 7:23 PM

Pushed to christoph/named-hypotheses at imandra-ai/imandrax-api

February 3rd, 2026 7:23 PM

Pushed to christoph/named-hypotheses at imandra-ai/imandrax-api

February 3rd, 2026 6:47 PM

IssueCommentEvent on imandra-ai/imandrax-vscode

February 3rd, 2026 4:49 PM

PullRequestReviewEvent on imandra-ai/imandrax-vscode

February 3rd, 2026 4:47 PM

PullRequestReviewCommentEvent on imandra-ai/imandrax-vscode

February 3rd, 2026 4:47 PM

CommitCommentEvent on imandra-ai/imandrax-vscode

February 3rd, 2026 4:45 PM

IssueCommentEvent on imandra-ai/imandrax-vscode

February 3rd, 2026 3:25 PM

GitHub Analytics

Christoph M. Wintersteiger

Consistency

Veteran

Influencer