LA

lauren

Perth

Joined January 2023

7 Followers

14 Following

Public Repos

1

Total Stars

0

Total Forks

0

Public Gists

0

Top Languages

Based on primary language of repositories

No language data available

Recent Activity

Contribution Graph

Activity Timeline

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

High productivity periods

Most active day: January 30th, 2026 • 11 contributions

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

Most active month: May 2025 • 76 contributions

Created branch externalize-validNetworkType-typeclasses in vehicle-lang/vehicle

February 4th, 2026 7:33 AM

opened pull request in vehicle-lang/vehicle

February 4th, 2026 6:19 AM

Pushed to externalise-quantifiers-alt at vehicle-lang/vehicle

February 4th, 2026 6:18 AM

Pushed to externalise-quantifiers-alt at vehicle-lang/vehicle

February 4th, 2026 6:10 AM

Pushed to externalise-quantifiers-alt at vehicle-lang/vehicle

February 4th, 2026 5:21 AM

Pushed to externalise-quantifiers-alt at vehicle-lang/vehicle

February 4th, 2026 5:05 AM

Pushed to externalise-quantifiers-alt at vehicle-lang/vehicle

February 4th, 2026 3:47 AM

Pushed to externalise-quantifiers-alt at vehicle-lang/vehicle

February 3rd, 2026 1:35 PM

February 3rd, 2026 1:25 PM

Pushed to externalise-quantifiers-alt at vehicle-lang/vehicle

February 3rd, 2026 9:40 AM

GitHub Analytics