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 ... 4 5 6 7 8 9
Title Δ
Free monad and the free operation -1.58
How to prove the right identity in setoid in Agda 0.00
Parse other XML files whilst parsing tree with HXT 0.00
How do you convert from an Unboxed Vector to a JS TypedArray on GHC... 0.00
The useful application of Functor's Product and Coproduct +0.43
How to use defN in Math.FFT in Haskell? How to construct a multi-di... 0.00
Hiding a State monad's s type parameter +1.56
Agda Type-Checking Error 0.00
Printing data types - Haskell 0.00
AVR ATmega32U4 Timer compare interrupt not triggering 0.00
Using MonadRandom with MonadState 0.00
Combining proofs of commutativity and associativity of addition +0.19
How to detect last chunk in a Haskell Pipe? 0.00
Having problems with writeFile in Haskell IO 0.00
How can I lift an fclabels Lens to a Monad? 0.00
How to obtain the string value of an Element? 0.00
Why my haskell code copying from the book "Functional Programm... 0.00
Retrocausality in Haskell: From Tardis to RevState 0.00
ScopedTypeVariables doesn't bring type variables into scope 0.00
Checking all values in a list have a specific constructor 0.00
How to prove commutative property for rational number in Agda? -0.58
PostgreSQL heterogeneous insertion 0.00
foreign import prim call to LLVM 0.00
haskell polymorphic type functions -1.72
Haskell recursive find Function +0.42
Grammar parse tree 0.00
Avoid repeated use of string literal without assigning a new variable 0.00
C-style enum in Haskell? 0.00
Look-up table in haskell accelerate -2.11
Understanding type synonyms and parameterized type synonyms in Hask... +1.76
Why does printing affects order when right folding in Haskell? +1.56
Recursive feedback in Karplus-Strong Algo - arrows 0.00
How can I nest a list into sublists of sizes in a given list? 0.00
Foldable instance for a Trie-Set 0.00
What is the difference between recursive and recursively enumerable... 0.00
How can I skip spaces when parsing a haskell string 0.00
Is there a way to code a chainl function in idris lightyear library? 0.00
Implement serial in to parallel out shift register with AVR microco... 0.00
How come `Effect` seals only two in-flows, instead of all the flows? 0.00
Haskell simulate [1 .. n] with "until" function +0.43
NES(6502 assembly) Sprites movement -1.95
Is it possible to do a search on a graph constructed with the tying... -2.00
Read instance of a combined datatype with Haskell 0.00
Propositions vs. boolean values for input validation +2.40
Stateful loop with different types of breaks +1.92
Haskell define a non-empty list datatype -2.51
GetOpt usage and foldl, flip, id -1.76
Is there a Codensity MonadPlus that asymptotically optimizes a sequ... 0.00
Is it possible to use IO inside State monad, without using StateT a... 0.00
How do you write rewrite rules for typeclass methods? 0.00