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