TA

Tar

Formal methods PhD candidate and software developer, mostly front-end oriented and mostly in TypeScript and Rust as of lately.

The Netherlands

Joined March 2017

38 Followers

24 Following

AI Insights & Achievements

32/ 100

Coding for 9 years.

Organizations

Public Repos

40

Total Stars

118

Total Forks

25

Public Gists

10

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

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

Most active month: Mar 2025 • 28 contributions

January 9th, 2026 3:22 PM

GitHub Analytics