StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

glguy

Rating
1501.05 (413,716th)

Reputation
985 (156,697th)

Page: 1

Title	Δ
HTTP Lens for interfacing with an API?	0.00
How can I write this pattern synonym without ambiguous type errors?	0.00
Optional parameters along with a case statement	+0.34
Zoom monad stack maintaining context	0.00
cabal: haskell-gi-base refuses to install	0.00
How to compare a char and escape terminal escape sequence	0.00
How to Use Haskell's Stack Build Tool to Export a Library to Be...	0.00
Error installing the shuffle library with stack	-3.47
GADT type argument not being used for typeclass resolution	-3.04
How do I replace Data.Generics with GHC.Generics?	0.00
why isn't this incorrect indentation in haskell?	+0.11
How to stop main from terminating	-2.88
How to replace `zs` in `[p\| zs@(z:_) \|]` with a name I generate mys...	0.00
Combo lenses and prisms for sums of products?	0.00
Handling exceptions (ExceptT) in chain of actions	0.00
How to use lenses to look up a value in a map, increase it or set i...	+4.26
cabal sdist: tests inappropriate type	0.00
How can I establish a bijection between a tree and its traversal?	+4.46
How to write this in agda?	0.00
Agda Programming- Proving Insertionsort makes 3 or less comparisons...	+1.89
How to avoid (unnecessary?) repetitive use of axioms in Agda?	+4.03
Lenses and prisms with sum types	0.00
How to avoid default return value when accessing a non-existent fie...	-1.99
Export only getter or setter from a module	-3.42
cabal install lens: library not found for -lHStransformers-compat-0...	0.00
What's the difference between makeLenses and makeFields?	-3.67
traversal tree with Lens and Zippers	-4.06
Haskell servers subdomain	+3.95
(Problem Solved) Hash(m1 xor m2) = Hash(m1) xor Hash (m2) Is this t...	+0.59
Showing (head . init ) = head in Agda	+3.96
Working on Peano Axioms in Agda and hit a bit of a sticking point	0.00