01 · Roasts
The 87% Graveyard Keeper
87% of your repos haven't seen a push in 2+ years. Your GitHub is less a portfolio and more a museum of abandoned type theories. At least the exhibits are tasteful.
Heatmap? More Like Heat-spec
Your yearly heatmap looks like a constellation map — a few bright clusters in weeks 44–51, then 40 weeks of void. 197 commits total, but they're packed into suspiciously short bursts.
39 Stars, 0 Maintenance
linearml has 39 stars from the PL community but hasn't been touched since April 2017. equality.ml still has '??' placeholders. Your fans are patient. Very patient.
PR Count: Precisely Zero
0 pull requests, 0 issues, 0 external contributions this year. 172 people follow you and you follow exactly 1 person back. This is not networking — this is academic enlightenment from a mountaintop.
Datafun Did What Now?
datafun: 1 commit, 14 KB, 2-line README, description says 'toy implementation'. It takes courage to push a repo that documents its own insignificance so efficiently.
Built using
Zoral
Shadows one worker for a week, then takes over their job with zero extra setup. Behaves exactly like the original.
zoral.ai
02 · Category breakdown
- Impact25% weight43D
- Consistency20% weight35F
- Quality20% weight72B
- Depth15% weight65C
- Breadth10% weight55D
- Community10% weight40D
03 · Stats
365-day commit heatmap
46 active days
Language distribution
- HTML44%
- TeX31%
- OCaml12%
- Coq8%
- Standard ML2%
- JavaScript1%
- Other2%
04 · Numbers
Owned repos
non-fork
15
Commits
last 12 months
197
Followers
172
Joined GitHub
Jan 2013
05 · Top repos
neel-krishnaswami /
nanocn
Sophisticated OCaml implementation of CN refinement type system with full parser, typechecker, and SMT constraint generation. Establishes a working research-quality system combining surface and refined elaboration.
neel-krishnaswami /
linearml
Academic research implementation of linear type theory in OCaml with bidirectional typechecking, clean module architecture, but incomplete (equality.ml unfinished), no tests, and minimal adoption.
neel-krishnaswami /
datafun
Single-commit toy implementation of Datafun with minimal README and 14 KB codebase. No tests, CI, or documentation beyond stub description. Clear experimental/educational project from Feb 2026.
06 · Timeline
- Jan 31, 2013Joined GitHub
- Mar 29, 2016Created linearml — A simple implementation of linear type theory
- Feb 6, 2026Created datafun — A toy implementation of Datafun
- Mar 9, 2026Created nanocn — Tiny implementation of a CN+Fulminate-style refinement type system
- Apr 22, 2026Most recent push to nanocn
07 · Compare
08 · Rubric
How this score was produced
Overall = Σ (category × weight) + gentle top-end curve
Tier thresholds
▸ How the pipeline works
- 01Scrape.Pull every non-fork repo pushed in the last 90 days, plus your contribution calendar, followers, and language byte counts — straight from GitHub's REST & GraphQL APIs.
- 02Triage.A small model reads every repo's file tree + README and picks the 20 files per repo that actually reveal how you code.
- 03Grade each repo. All repos run in parallel through a fast scoring model that reads the picked files and rates each one independently on Impact, Quality, and Depth — with evidence citations.
- 04Aggregate. A larger reasoning model combines the per-repo scores with server-computed stats (heatmap, commit cadence, language entropy, follower count) to produce the 6-dimension profile score + roasts.
- 05Correct.Deterministic server-side checks enforce anchor-scale floors (e.g. a profile with 2,000+ public commits can't score 30 Consistency) and recompute the final verdict.
~90 seconds per profile, ~$0.25 in compute. Total of ~240 files read across your top-12 repos. One rating per GitHub account per day.
▸ Data sources & caveats
- Heatmap & commit totals: GitHub GraphQL
contributionsCollection— covers the last 365 days, includes private repos when the user has opted in (default). - Language %: byte totals across the top 30 owned non-fork repos.
- Curve: a small upward nudge centered on raw score ≈ 70, capping at 100. Prevents specialists from being unfairly penalised for narrow breadth.
- Anchor corrections: when server-measured signals (e.g. privateWorkLikely, multiRepoVolume, follower count) mandate a minimum category score, the aggregation step enforces it. These are signal-conditional, not identity-based floors.