odersky
@odersky
A background refresh was started because this profile was last fetched over a day ago.
- Country
- Worldwide
- Rank
- #130
- Profile
- View on GitHub
- Company
- -
- Location
- -
- Blog/Website
- -
- -
- -
- Hireable
- -
- Public Repos
- 17
- Public Gists
- 8
- Account
- User
- Joined GitHub
- May 18, 2011 (14 years, 5 months ago)
- Last Updated
- Oct 26, 2025 20:39
Bio
-
Followers
2,984
Following
1
Contributions (last year)
985
Similar Developers
