🌞 Morning                342 commits         ████░░░░░░░░░░░░░░░░░░░░░   14.86 % 
🌆 Daytime                758 commits         ████████░░░░░░░░░░░░░░░░░   32.94 % 
🌃 Evening                990 commits         ███████████░░░░░░░░░░░░░░   43.02 % 
🌙 Night                  211 commits         ██░░░░░░░░░░░░░░░░░░░░░░░   09.17 % 

🕑︎ Time Zone: Europe/Amsterdam

💬 Programming Languages: 
Lean                     11 hrs 6 mins       ██████████████░░░░░░░░░░░   57.14 % 
Rust                     1 hr 26 mins        ██░░░░░░░░░░░░░░░░░░░░░░░   07.39 % 
Typst                    1 hr 22 mins        ██░░░░░░░░░░░░░░░░░░░░░░░   07.09 % 
TypeScript               1 hr 14 mins        ██░░░░░░░░░░░░░░░░░░░░░░░   06.43 % 
TeX                      1 hr 3 mins         █░░░░░░░░░░░░░░░░░░░░░░░░   05.45 % 

🔥 Editors: 
Cursor                   15 hrs 4 mins       ███████████████████░░░░░░   77.54 % 
Neovim                   4 hrs 5 mins        █████░░░░░░░░░░░░░░░░░░░░   21.06 % 
VS Code                  16 mins             ░░░░░░░░░░░░░░░░░░░░░░░░░   01.40 % 

💻 Operating System: 
Linux                    19 hrs 26 mins      █████████████████████████   100.00 %