KA

Kárándi Tamás

@karandit

Budapest

Website

Joined January 2013

13 Followers

2 Following

AI Insights & Achievements

37/ 100

Veteran

Coding for 13 years.

Public Repos

42

Total Stars

11

Total Forks

6

Public Gists

2

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: February 1st, 2026 • 7 contributions

Most active week: Dec 22–Dec 28 • 17 contributions

Most active month: Dec 2025 • 36 contributions

Starred hhboorstein/ClueLean

February 2nd, 2026 11:20 PM

Starred pandaman64/LeanToDo

February 2nd, 2026 5:15 PM

Pushed to master at karandit/adventofcode

February 1st, 2026 9:23 AM

Pushed to master at karandit/adventofcode

February 1st, 2026 9:06 AM

Pushed to master at karandit/adventofcode

February 1st, 2026 7:55 AM

Pushed to master at karandit/adventofcode

February 1st, 2026 12:16 AM

Pushed to master at karandit/adventofcode

January 31st, 2026 11:57 PM

Pushed to master at karandit/adventofcode

January 31st, 2026 11:31 PM

Pushed to master at karandit/adventofcode

January 31st, 2026 6:03 PM

Starred ccz181078/Coq-BB5

January 21st, 2026 9:20 PM

GitHub Analytics

Kárándi Tamás

Veteran