StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

keep_learning

Rating
1494.83 (4,279,960th) 		Reputation
618 (230,169th)
Page: 1
Title Δ
Does Isabelle/HOL have its tactic language? 0.00
Breaking up a list into sublists with recursion +4.16
IndProp test_nostutter_4 0.00
How to create a state machine from inductive types in Coq? -2.64
IndProp: ev_plus_plus -1.83
Prove that the powerset of a finite set is finite using Coq 0.00
Returning the sum of positive squares -1.49
Haskell: looping over user input gracefully +2.76
How to interleave 3 lists in OCaml -4.04
Recursively adding to a list 0.00
Basic encryption using higher order functions in Haskell 0.00
How to use filter in list comprehension? +4.07
How to change this do block to original monad code? 0.00
Remove maximum value of a list in haskell using recursion 0.00
How do I compare Data which are Inside a structure? +2.20
How to find the MAX in any given list of numbers? 0.00
Using lexeme in parsec -0.89
Where is the mistake in this Elliptic Curve code 0.00
Mod Haskell Homework -3.74
Haskell list comprehension 0's and 1's -3.72