Loading...
Loading...
I am the Kotlin lead on the Java and Kotlin Ecosystem team at Google, which organizes libraries, frameworks, and the language ecosystem as a whole.
16 day streak.
Coding for 15 years.
191 followers.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Pushed to union-fin-enum at lowasser/agda-unimath
February 4th, 2026 5:23 PM
Pushed to union-fin-enum at lowasser/agda-unimath
February 4th, 2026 5:21 PM
Pushed to classical-ivt at lowasser/agda-unimath
February 4th, 2026 5:16 PM
Pushed to ivt at lowasser/agda-unimath
February 4th, 2026 5:16 PM
Pushed to ivt at lowasser/agda-unimath
February 4th, 2026 5:13 PM
Pushed to ivt at lowasser/agda-unimath
February 4th, 2026 5:11 PM
Pushed to ivt at lowasser/agda-unimath
February 4th, 2026 5:11 PM
Pushed to ivt at lowasser/agda-unimath
February 4th, 2026 5:01 PM
Pushed to tb-proper-intervals at lowasser/agda-unimath
February 4th, 2026 12:40 AM
IssueCommentEvent on UniMath/agda-unimath
February 4th, 2026 12:36 AM