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 ... 9

Title	Δ
@Parcelize in multi-platform project	0.00
Android Studio can't find kotlinx module generated from layout	0.00
Binary asset accessible from Javascript, without going through XMLH...	0.00
Agda Proof of Sum of n Naturals	-0.58
Auto-hiding toolbar on scroll, when there are several other layers...	0.00
Sizing child elements of a container automatically (why is containe...	0.00
How can I implement a `rotate` function on Vec by using `splitAt`?	-1.19
How do you access a JavaScript global variable using the Idris Java...	+0.43
Is there a way to prove stuff in Idris without a model?	0.00
How to write a safe `length` function to a `Vec` in Agda?	+0.10
Prove two values are equal from case statement	0.00
`case` that refines arguments	0.00
Encode effect in terms of another with freer extensible effects	0.00
why is ICMP checksum shifted 16 bits	0.00
Why doesn't equality involving “minus” typecheck in Idris?	0.00
Why does this function hang the REPL?	0.00
How does `get` work in the CPS version of the State monad?	0.00
What are isomorphism and homomorphisms	-2.15
how to use megaparsec's combinators on StateT	-0.56
What's the type for Dictionary/Map in Idris	0.00
Always `$newline neve`r in Yesod	0.00
Finding All Types Created in a Haskell Repo	0.00
Cargo creates empty ELF file	0.00
Compiling `core` from a specific source using Xargo	-0.61
How to write a stepping monad?	0.00
Debug output for instruction selection by pattern matching	0.00
Where to put and how to access static, constant data?	0.00
Are MachineBasicBlocks supposed to implicitly fall through to their...	0.00
GHC `elem` optimization	0.00
Linking fails with "relocation truncated to fit" with agg...	0.00
How to wait until forM_ finishes, when using TVar?	0.00
Fast impertive pointers (static, unboxing, etc.) with Struct library	0.00
Proving a propostion of list L ++ [] ≡ L	-0.63
Type for pairs (x,y) with (x/=y)	0.00
How can I generate input / output tuples in SML?	-0.06
Best way to bring the contents of a textfile into a reflex project	0.00
recursive datatypes in haskell	0.00
Why does ghc in its own build pass contradictory optimisation flags?	0.00
Understanding `decEq`	0.00
Understanding Assignment Solution in Agda	0.00
How can you combine elements of a list in sets of 3 in Haskell?	-0.08
Map with Strings as Keys in Agda?	0.00
Evaluation of where clause in cyclic lists	-1.91
Agda: Return head and tail of empty list	0.00
Clock frequency setting doesn't change simulation speed	0.00
Creating a fold that allows the type to change after each repeated...	+1.65
Typeclass confusions when using `=>` operator?	0.00
Haskell parse error on Type declaration	0.00
when I try using the `on` operator on haskell I get an error ->...	0.00
Substituting equal term in equality proof	+0.42