🌞 Morning                376 commits         ████░░░░░░░░░░░░░░░░░░░░░   15.68 % 
🌆 Daytime                770 commits         ████████░░░░░░░░░░░░░░░░░   32.11 % 
🌃 Evening                990 commits         ██████████░░░░░░░░░░░░░░░   41.28 % 
🌙 Night                  262 commits         ███░░░░░░░░░░░░░░░░░░░░░░   10.93 % 

🕑︎ Time Zone: Europe/Amsterdam

💬 Programming Languages: 
Rust                     12 hrs 47 mins      █████████████░░░░░░░░░░░░   50.87 % 
Typst                    6 hrs 5 mins        ██████░░░░░░░░░░░░░░░░░░░   24.19 % 
Lean                     2 hrs 33 mins       ███░░░░░░░░░░░░░░░░░░░░░░   10.15 % 
Other                    1 hr 22 mins        █░░░░░░░░░░░░░░░░░░░░░░░░   05.49 % 
Lua                      40 mins             █░░░░░░░░░░░░░░░░░░░░░░░░   02.67 % 

🔥 Editors: 
Neovim                   17 hrs 50 mins      ██████████████████░░░░░░░   70.95 % 
Cursor                   6 hrs 9 mins        ██████░░░░░░░░░░░░░░░░░░░   24.49 % 
VS Code                  1 hr 8 mins         █░░░░░░░░░░░░░░░░░░░░░░░░   04.56 % 

💻 Operating System: 
Linux                    25 hrs 9 mins       █████████████████████████   100.00 %