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 2 3 4 5 ... 9

Title	Δ
How to process a recursive GADT with kind :: '[SomeDataKind]	-2.22
Looping over dictionary while using different values to insert and...	0.00
Javascript Monads -- tiered function paths?	0.00
Understanding this definition of HList	-1.97
Haskell Higher Order Functions	-1.94
'half' function type signature in Idris	0.00
Haskell - how to return a list of a list of all of the rows of elem...	+1.50
How can you add a String to a list of Monads in Haskell	0.00
how to write a function using list comprehension in haskell?	+0.42
Haskell Aeson: How to get value out of Parser in IO monad	0.00
How does one read the syntax for the Braun tree insertion?	+0.41
Unrar or unzip files protected with password haskell library	0.00
Haskell writing my own function to compose functions	0.00
Model a serial format in the type system, like Servant	0.00
Idris interface syntax	0.00
Sum of a List with all Intermediate Values	+1.16
Haskell slower than Python in naïve integer factorization?	+1.66
implementation of BigDecimal in idris	0.00
Why can AccValidation not have a Monad instance?	+2.15
Experience reports using indexed monads in production?	+1.25
Haskell: Frequent values	+0.42
Get a `Char` from a `ByteString`	-1.14
what does forward slash mean in haskell?	0.00
Recursive function that returns multable array and a list	0.00
Proof trees for simply typed lambda calculus	0.00
Drawing a Bitmap to a Canvas with an alpha gradient	-2.22
Convert a tuple of lists of the same length to a list of tuples for...	0.00
How to refactor code using the State monad in order to increase mod...	0.00
Parsec optionMaybe always consuming input	0.00
Using Applicative notation for parsers whose result is discarded	0.00
Phantom type confusion?	-2.24
What's the intention behind Idris' `BorrowedType`?	0.00
Creating a document with Pandoc	-0.07
weaving lists in haskell	-0.44
Language.Haskell.Interpreter: is this the right tool for the job at...	0.00
Can't use the contrib in Idris	0.00
creating a function that takes a list of Ints and returns the list...	+0.17
Datatypes that are represented by a choice of one of many other dat...	0.00
List of Existentially Quantified Constructors	0.00
Is there a more convenient way to use nested records?	0.00
Why are the upper bits of 53280 $D020 always set (c64)	0.00
Proving Not (Elem x xs) when x and xs are statically known	+0.41
haskell parser with spell-checking	+1.90
Mapping a strict vs. a lazy function	0.00
Induction on lists - Proving Stronger Property (Haskell)	0.00
Overview of quasiquotation in Idris	0.00
Strictness of pattern matching vs. deconstructing	0.00
Is this recursive function not total, or is the compiler just unabl...	+0.47
Find least fixpoint of a function	0.00
Is there any way to express end with in Parsec?	+0.99