StackRating

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

Joachim Breitner

Rating
1538.31 (12,676th) 		Reputation
20,615 (6,572nd)
Page: 1 2 3 4 5 6
Title Δ
How to make the assumption of the second case of an Isabelle/Isar p... -1.75
How to create a non-TH package from code generated using Template H... +3.31
where can I find a complete list of the Haskell modules? -2.50
Conditional Compilation inside Literate Haskell 0.00
Overflow problems in dealing with IO and MonadRandom and chained co... +4.03
Working with Isabelle's code generator: Data refinement and higher... -4.15
Risks of using unsafeperformIO on randomIO 0.00
Isabelle's Code generation: Abstraction lemmas for containers? -4.19
proof (rule disjE) for nested disjunction +0.10
Disadvantages of using INLINABLE pragma 0.00
Apply a method if and only if it solves the current goal -4.09
Is there a useful inhabitant for the type `forall v. Int -> v -&... 0.00
How do you implement monoid interface for this tree in haskell? 0.00
Haskell thunks - foldl vs foldr 0.00
Haskell: Show all the elements that are "showable" on a H... -2.58
Removing the first instance of x from a list -0.74
Does any literate programming environment support on the fly results? -0.94
Can I differentiate between typeclass instances at runtime? 0.00
Implementing call-by-value lambda-calculus in Haskell 0.00
How do I compare recursive data structures? -4.33
Haskell: partially drop lazy evaluated results 0.00
Standalone deriving declaration in Template Haskell quotation 0.00
Evaluating function at random arguments using QuickCheck +5.35
GHCi "let" -- what does it do? -0.91
Could functions be instances of classes in Haskell +3.51
Haskell fay install failed 0.00
How much memory does a thunk use? +3.73
Haskell list repeated elements -0.18
How to protect myself from a gzip or bzip2 bomb? -3.08
Haskell, How to use multiple Eq (Eq a, Eq b ) => 0.00
Instance of Read class in Haskell 0.00
Decode audio from a credit card reader +5.34
Minimal haskell (ghc) program installation (deployment without ghc/... 0.00
How do I avoid memory problems when writing to file using the Write... +3.90
haskell and large binary -1.03
Haskell pattern matching conundrum +4.34
Writing a mini-language with haskell, trouble with "while"... +3.93
How to define foldM using foldr/foldl (if it is possible)? 0.00
Puzzling memory behavior in Haskell 0.00
Selective running of tests in HUnit 0.00
Using UTCTime with Hamlet +4.21
Finding cabal packages when using the GHC API 0.00
Haskell: example of function of type a -> a, besides the identity +2.62
Recursive Html generation with Hamlet 0.00
Haskell polymorphic deconstruction 0.00
How do I use the diagrams library with GTK drawables? 0.00
Reasons not to enable shared library support in Cabal 0.00
Haskell: "Could not deduce" error with runST +2.11
Is access to the internal structure of a monad required for a monad... 0.00
haskell - state monad function get? -1.23