GitHub Analytics

GitHub Analytics

Loading...

Mate Soos - GitHub Analytics Profile

MS

Mate Soos

Model counting, SAT solving, symbolic execution, cryptography, and IT security

Berlin, Germany

Joined January 2012

260 Followers

13 Following

AI Insights & Achievements

60/ 100

Quality

Avg 13.6 stars per repo.

Consistency

19 day streak.

Veteran

Coding for 14 years.

Organizations

Public Repos

76

Total Stars

1031

Total Forks

248

Public Gists

4

Top Languages

Based on primary language of repositories

Recent Activity

1955 contributions in 2025

LessMore

Contribution Graph

Activity Timeline

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

High productivity periods

Most active day: January 18th, 2026 • 12 contributions

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

Most active month: Mar 2025 • 450 contributions

Pushed to aig-shared-ptr-better-fix at meelgroup/arjun

February 6th, 2026 7:22 PM

Pushed to aig-shared-ptr-better-fix at meelgroup/arjun

February 6th, 2026 9:22 AM

Pushed to aig-shared-ptr-better-fix at meelgroup/arjun

February 5th, 2026 10:02 PM

Pushed to master at msoos/manthan

February 5th, 2026 7:38 PM

Pushed to aig-shared-ptr-better-fix at meelgroup/arjun

February 4th, 2026 11:47 PM

Pushed to aig-shared-ptr-better-fix at meelgroup/arjun

February 2nd, 2026 9:24 PM

Pushed to aig-shared-ptr-better-fix at meelgroup/arjun

February 1st, 2026 11:27 PM

Pushed to aig-shared-ptr-better-fix at meelgroup/arjun

February 1st, 2026 10:38 PM

Pushed to aig-shared-ptr-better-fix at meelgroup/arjun

February 1st, 2026 8:57 PM

Pushed to aig-shared-ptr-better-fix at meelgroup/arjun

February 1st, 2026 7:38 PM