StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Dominique Unruh

Rating
1486.12 (4,462,161st)

Reputation
636 (224,896th)

Page: 1

Title	Δ
De-referencing Either back into the object	-3.63
Parsing the content of a cartouche using a "term parser"	+0.23
Dynamic Stable identifiers in Scala Pattern Match	-3.73
Skolemization of existentially typed expressions	0.00
Scala RDD String manipulation	-3.31
Typesafe generics using TypeTag (with safe cast)	0.00
Typesafe generics using TypeTag (with safe cast)	0.00
How do I state a lemma that does not respect sort constraints (for...	+4.00
How do I state a lemma that does not respect sort constraints (for...	-4.00
Stack (Haskell) throws TlsException in Windows	0.00
Rewriting with non-equality equivalence-relations using Isabelle si...	-1.72
Rewriting with non-equality equivalence-relations using Isabelle si...	-1.72
Using Gmail message source, generate direct link	0.00