01 · Roasts
The Ghost in the Machine
0 public commits in the past year. Your heatmap has 3 green cells across 52 weeks — one of which is a lonely Tuesday with 2 commits. GitHub is not a museum, but you're treating it like one.
Academic Hermit Mode: Activated
soloPct = 100%, totalPRsYear = 1, following = 0. You've built three formal-methods provers and haven't engaged with another human on GitHub in recorded history. Even your stars are from people who stumbled in from a Dagstuhl paper.
The README Selectivist
cora gets a README. wanda gets a README AND a README_CODE.txt. satlanguage? Nothing. Not a single line explaining what this ANTLR-powered SAT compiler does. Consistency: optional, apparently.
10 Stars, 10 Years
Joined 2015, collected 10 total stars across 7 repos by 2026. That's roughly 1 star per year of GitHub tenure. At this rate you'll hit triple digits sometime around 2126.
The Java Monolith
80% Java, 19% C++, and traces of Makefile and XSLT. Every project is a formal-methods academic tool. Impressive depth in one lane — but if the lane disappeared, so would your portfolio.
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% weight40D
- Consistency20% weight60C
- Quality20% weight72B
- Depth15% weight65C
- Breadth10% weight40D
- Community10% weight25F
03 · Stats
365-day commit heatmap
2 active days
Language distribution
- Java80%
- C++19%
- Makefile0%
- ANTLR0%
- XSLT0%
- Shell0%
- Other1%
04 · Numbers
Owned repos
non-fork
4
Commits
last 12 months
0
Followers
8
Joined GitHub
Oct 2015
05 · Top repos
hezzel /
cora
Specialist termination analysis tool for constrained higher-order term rewriting, well-engineered with comprehensive dependency pair algorithms, SMT integration, and rigorous type discipline in Java. Modest adoption (7 stars) but clearly a sustained research project with strong architectural design.
hezzel /
wanda
WANDA is a specialized higher-order term rewriting termination prover with ~19 MB of C++ code. It ships with a comprehensive README documenting CLI args and input formats, plus design notes. ~3 years active development (2022–2025) with 30 commits sampled, but lacks test suite, CI, and type safety (C++).
hezzel /
satlanguage
A personal experimental Java project compiling a custom logic language to SAT problems. Features ANTLR grammar, typed Java, structured src/, but lacks README, tests, CI, and active development (last push Feb 2022).
06 · Timeline
- Oct 9, 2015Joined GitHub
- Sep 9, 2019Created cora — COnstrained Rewriting Analyser: a tool to analyse term rewriting systems with logical constraints
- Nov 19, 2021Created satlanguage — A "language" that is compiled to SAT
- Aug 19, 2022Created wanda — a higher-order termination tool
- Jul 28, 2026Most recent push to cora
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.