Loading player card
Not on DevTrack yet
@isovector
Sandy Maguire
Author, programmer, musician, trouble-maker.
On GitHub since June 2010View on GitHub
- Est. rank
- ~#2
- Streak
- 3D
- Level
- 149
Legend
LV 149180,085 XP · 1,793 to LV 150
This page is generated automatically from @isovector's public GitHub activity. It is not run, verified or endorsed by @isovector or by GitHub, and DevTrack never asks for a GitHub password.
Unclaimed profile
Would rank #2 of 12 globally
If you are @isovector, sign in with GitHub as @isovector to claim it: join the leaderboard, keep your 180,085 XP and tier, count private contributions, and get README badges. Only the owner of the GitHub account can claim it.
Contributions (1y)
1,141
Current streak
3days
Longest streak (1y)
14days
Active days (1y)
212
Commits (all time)
14,942
Pull requests
656
Code reviews
295
Followers
1,320
1,141 contributions in the last year
Top repositories
- algebra-driven-design
Source material for Algebra-Driven Design
172Haskell - type-errors
:warning: tools for writing better type errors
74Haskell - certainty-by-construction
Source material for Certainty by Construction
Built from public GitHub data and refreshed every few hours. Not affiliated with @isovector.