StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Rob Blanco

Rating
1496.90 (3,999,265th) 		Reputation
266 (426,974th)
Page: 1
Title Δ
Coq list sorting practices & sortBy? +4.64
Are Lists just a hack to represent sequences functionally? 0.00
Why this Goldbach's conjecture program does not work in Prolog? 0.00
What am I missing about equality and unification in Prolog? 0.00
How to evaluate a piece of OCaml code dynamically in OCaml program? 0.00
Software Foundations - automatic grading -3.96
rewrite single occurence in ltac -3.78