Loading player card
Not on DevTrack yet
@jwiegley
John Wiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
On GitHub since April 2008View on GitHub
- Est. rank
- ~#1
- Streak
- 17D
- Level
- 294
Legend
LV 294502,410 XP · 1,695 to LV 295
This page is generated automatically from @jwiegley's public GitHub activity. It is not run, verified or endorsed by @jwiegley or by GitHub, and DevTrack never asks for a GitHub password.
Unclaimed profile
Would rank #1 of 12 globally
If you are @jwiegley, sign in with GitHub as @jwiegley to claim it: join the leaderboard, keep your 502,410 XP and tier, count private contributions, and get README badges. Only the owner of the GitHub account can claim it.
Contributions (1y)
10,864
Current streak
17days
Longest streak (1y)
63days
Active days (1y)
315
Commits (all time)
42,220
Pull requests
1,766
Code reviews
638
Followers
2,717
10,864 contributions in the last year
Top repositories
- git-scripts
A bunch of random scripts I've either written, downloaded or clipped from #git.
1,370Shell - emacs-async
Simple library for asynchronous processing in Emacs
914Emacs Lisp - category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
Built from public GitHub data and refreshed every few hours. Not affiliated with @jwiegley.