GitHub Analytics

GitHub Analytics

Loading...

Lukas Gerlach - GitHub Analytics Profile

MO

Lukas Gerlach

Research Associate / PhD Student @knowsys

Dresden

Joined May 2015

22 Followers

39 Following

AI Insights & Achievements

33/ 100

Veteran

Coding for 11 years.

Organizations

Public Repos

33

Total Stars

10

Total Forks

6

Public Gists

1

Top Languages

Based on primary language of repositories

Recent Activity

409 contributions in 2025

LessMore

Contribution Graph

Activity Timeline

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

High productivity periods

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

Most active week: Jan 26–Feb 1 • 30 contributions

Most active month: Sep 2025 • 96 contributions

Pushed to main at monsterkrampe/Existential-Rules-in-Lean

February 5th, 2026 3:40 PM

Pushed to main at monsterkrampe/Possibly-Infinite-Trees

February 5th, 2026 1:01 PM

Pushed to main at monsterkrampe/Possibly-Infinite-Trees

February 4th, 2026 2:35 PM

Pushed to main at monsterkrampe/Existential-Rules-in-Lean

February 4th, 2026 1:40 PM

Pushed to main at monsterkrampe/Existential-Rules-in-Lean

February 3rd, 2026 8:56 PM

Pushed to main at monsterkrampe/Existential-Rules-in-Lean

February 3rd, 2026 3:07 PM

Pushed to main at monsterkrampe/Existential-Rules-in-Lean

February 3rd, 2026 9:09 AM

Pushed to main at monsterkrampe/Existential-Rules-in-Lean

February 2nd, 2026 4:25 PM

Pushed to main at monsterkrampe/Existential-Rules-in-Lean

February 2nd, 2026 9:59 AM

Pushed to main at monsterkrampe/Existential-Rules-in-Lean

February 2nd, 2026 8:11 AM