StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

chris

Rating
1505.67 (128,546th)

Reputation
4,510 (36,953rd)

Page: 1 2 3

Title	Δ
Binary trees as innested pairs	+1.35
parsec using between to parse parens	-0.42
How to convert a Tuple of Tuples to a Map	-4.25
Sort by specific column	-2.16
Haskell: 99 Questions #1: first solution doesn't run in GHCi	-2.88
vim, switching between files rapidly	-0.51
Automatically Break/Merge Lines in Vim	-4.29
Vim: dynamic syntax-highlighting	0.00
proof (rule disjE) for nested disjunction	-0.10
Defining overloaded constants in Isabelle	0.00
Why won't Isabelle simplify the body of my "if _ then _ else&q...	+2.01
What's the difference (if any) between Standard ML's module system...	-3.23
Iterate over middle third of map	+3.79
Makefile: missing separator	0.00
How to check if "{" begins in separate line in java file...	+3.70
What rule does 'apply (rule)' or 'proof' use?	-1.09
Convert columns and rows in readable format	+3.81
Bash command substitution with extra whitespace: How to solve this?	0.00
Unix Shell scripting: how to modify output file names accordingly	+4.39
Sort multidimensional array according to rating	-0.13
declare variable in custom control structure in scala	-0.16
Haskell: converting a list of (a, b) key-value pairs (with possibly...	+3.98
How do I view hidden type variables in Isabelle proof goals?	+1.04
FP (function programming): notation	0.00
Rewrite a monad computation in prefix notation	0.00
Merge lists, group By and create a sub-list with all values from on...	0.00
Is there a rule for prime numbers?	0.00
Custom rand() function return the same value	+3.88
case statements in lambdas	-3.95
how to prove the correctness of recursive algorithm?	0.00
Splitting a variable of product/tuple/pair type into its members in...	0.00
for loop understanding	+2.95
Generating code from locales without interpretation	+3.95
Exporting code from locales with multiple parameters	0.00
code_pred in locales	+2.02
code_pred in locales	+2.02
How to use persistent heap images to make loading of theories faste...	-3.91
Higher order function to apply many functions to one argument	0.00
Is there a name for the function that returns a positionally-expand...	0.00
Vim: Split Words Into Lines?	0.00
Page numbers in LLNCS style	0.00
Using Git how do I find changes between local and remote	0.00