StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

effectfully

Rating
1498.40 (3,854,998th)

Reputation
10,544 (14,356th)

Page: 1 2 3 4 5 6

Title	Δ
All the subsets of size N which satisfy a condition in Haskell	+0.36
Trying to iterate over a forest Haskell compilation error	-3.47
How can I extract list of similar elements from a haskell list	-1.02
How can I produce a fixed length of numbers that sum up a given num...	-1.40
Something wrong with a Haskell List	-3.08
Finding the quickest way with the least changes haskell	0.00
Applicative Distributor for List `dist` Function	-3.62
Haskell intersection with duplicates	0.00
Haskell - Rename duplicate values in a list of lists	+2.63
Branch on equality test in Agda? (basic)	0.00
Haskell - Flattening Objects of Lists	-4.49
Ambiguity error with higher order lists and type families	0.00
Delete every occurrence of Nil in Haskell	+0.25
Extract Integers from file	+4.66
Extracting nested monadic result: m (m a) -> m a	+2.67
haskell join multi-level monad	-2.67
Compare two lists and return the first element that is in both lists	-3.78
How do I build a list with a dependently-typed length?	-2.36
Object Oriented Polymorphism in Haskell	+0.42
Use contents of a list as positional arguments to a single multi-ar...	-3.96
Spliting a String in Haskell	0.00
Operations on tuples for each position individually	+0.39
RankNTypes and pattern matching	+2.01
Haskell - Determine what data type constructor was used in an if-th...	-1.99
Is there any way to not use explicit recursion in this algorithm?	-4.31
Haskell transpose chars in String	0.00
Haskell : parsing command line arguments	-1.48
Haskell delete Chars from String	-1.93
Haskell - List comprehension with infinite lists	-2.75
Evaluating and gathering results of conditions	+4.12
Repeat elements of a list	0.00
NA values in Haskell	0.00
Haskell- Create a method acting on different types	-3.14
Simpler syntax for overloading function names	-4.08
How to prove unfold-reverse for Vec?	0.00
simpel Haskell list sorting/shuffling in a pattern	+4.09
Rotating a list about an index	-0.13
Pattern matching and infinite lists	+1.90
Fill the list based on specific condition	-3.68
Applicative instance for functions from same domain to Applicative	+0.53
Path induction implied	-0.13
Getting path induction to work in Agda	0.00
How does one prove a type of the form (a \| b) in agda?	-2.67
How does one prove a type of the form (a \| b) in agda?	+4.00
Using where-introduced bindings in a with	0.00
How can I prove a type is valid in Agda?	+5.17
Using "rewrite" inside non-top-level goal requires auxili...	0.00
Difference between type parameters and indices?	-3.74
Non-tedious AST transformation proofs in Agda	-4.00
Non-tedious AST transformation proofs in Agda	+4.00