StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Cactus

Rating
1542.65 (10,561st)

Reputation
18,936 (7,293rd)

Page: 1 ... 5 6 7 8 9

Title	Δ
How can I encode and enforce legal FSM state transitions with a typ...	-0.92
How to map over a Pair/Tuple?	0.00
Expression parser for unary operator	0.00
How do I use a persistent State monad with Spock?	0.00
Using type safe routes with persistent datatypes in snap	0.00
Common Lisp - get length of nested vector	-0.60
What does the GHC source mean by "zonk"?	0.00
Specify nested type variable constraints are of same instance in Ha...	0.00
how does liftM (:[]) work	+1.51
Instance Data.Sequence with Haskell Aeson	0.00
Deriving Uniplate with Derive	0.00
Why can't I make Either instance of Functor using id in Haskell?	+0.92
Which language extensions enable to write "class A (B c) =>...	+3.90
How to add two rational in agda?	0.00
Convert type-level list '[a,b,c,...] to function a->b->c-...	0.00
Pattern matching Data.Sequence like lists	-0.85
Looking For A Standard Haskell Idiom Before I Implement it Myself	+2.11
When will this terminate?	0.00
Agda: proving that, when values are equal, their constructor argume...	0.00
Agda: Simulate Coq's rewrite tactic	0.00
The function that shall have no name	0.00
How does one "run" a data declaration from a quasiquoter	0.00
Yesod: how to output pretty html	0.00
Dynamically add routes at compile time in Scotty	0.00
Haskell make the memoization of algebraic recursion generic	0.00
Is it possible to define a function that return a n-dimensional lis...	+0.20
Why does Haskell point free version of function result in ambiguous...	0.00
Can a Haskell/GHC self-report its GC stats live?	+3.85
In Idris, how to write a "vect generator" function that t...	+3.26
Gtk "subtle" Progress Bar	0.00
gtk3/gtk2hs: panning in a scrolledWindow "flickers"	0.00
What's the terminology for when a boolean/tagged union determin...	+3.41
How do I provide an implicit argument explicitly?	0.00
natToFin when there is evidence that the conversion will work	0.00
How to derive Additive generically on Haskell, without defining an...	0.00
Is Shake suitable for building a semi-automated tool for human users?	-0.28
Force one argument to be greater than another in Idris	0.00
What's the best way to use a number at compile time and run time?	0.00
Can HListElim be composed with another function?	0.00
Bundling constraints with fundeps	+4.05
.byte directive in 6502: Where it is stored	0.00
Monad error (Could not deduce)	0.00
interpret Parigot's lambda-mu calculus in Haskell	-4.19
interpret Parigot's lambda-mu calculus in Haskell	+3.81
Why is Identity monad useful?	+2.10
Automatically deriving PathPiece	+3.82
Automatic padding to assemble certain instructions into predetermin...	+3.72
Rewriting Arbitrary Double in QuickCheck2	0.00
Is this legitimate use of "undefined" or are there better...	+4.09
VerifiedMonad instance for an error monad	0.00