StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Blaisorblade

Rating
1493.32 (4,331,756th)

Reputation
5,479 (30,018th)

Page: 1 2 3

Title	Δ
Coq - How can you apply an implication with a match clause?	0.00
Coq Z_3 group definition left id theorem	0.00
Can I use destruct here given the constraint I have for index range...	0.00
Coq error: Unable to unify "true" with "is_true (0 &...	0.00
How do you lookup the definition or implementation of Coq proof tac...	+2.38
Defining a parameterised Fixpoint in Coq	0.00
SystemT Compiler and dealing with Infinite Types in Haskell	0.00
What exactly is Dotty?	-1.37
Force Stack to look for .so files instead of .dylib on OS X?	0.00
while loop iterating only once while reading from inputstream	+0.01
text/html return from REST Service	0.00
Is it a good design if making a lot of function aliases and combine...	0.00
How to work with Scala and Jcurses?	0.00
httpconnection refused on android device when connecting with local...	0.00
Scala Cake Pattern and Existential Types	-2.00
Scala Cake Pattern and Existential Types	+2.00
Higher kinded existentials without covariant annotation	0.00
how to define a type alias for a higher kinded type by a scala macr...	0.00
SBT Scaladoc configuration for the standard library	0.00
Scala list error	-1.45
Using IntelliJ, how can i determine whether particular function ste...	+3.70
Setting up Javadoc for Scala projects in IntelliJ	0.00
how to copy instance and override value field declared in trait	+2.04
Haskell's Arrow-Class in Agda and -> in Agda	0.00
Is it possible to write a scala macro whose returntype depends on a...	0.00
How to know if an object is an instance of a TypeTag's type?	-3.68
Is it possible to use reflection from SBT?	+4.42
how to decode Java strings with Unicode escapes etc. from Scala Jav...	+4.19
Cannot install new 0.11.3 sbt on Ubuntu 10.04LTS	-1.76
Any Low Level Programming language based on java syntax and features?	0.00
How to generate TAGS for Haskell projects?	0.00
Case classes, pattern matching and varargs	-1.10
Disk-persisted-lazy-cacheable-List ™ in Scala	+4.33
scala inheritance issue: val vs. def	-3.01
copy contents of immutable map to new mutable map	-2.73
Multi-Assignment based on Collection	-3.78
What does this C++ setter/getter pattern break?	+0.59
Syntax error with expr in bash	-0.37
How do I create a set of characters in Scala?	+1.31
Real World Functional Programming in Scala	-3.53
Lazy Cartesian product of several Seqs in Scala	+3.57
Is there a good academic reference on benchmarking?	0.00
How to write asInstanceOfOpt[T] where T <: Any	0.00
How to match classes of "boolean" types and "Boolea...	-0.90
What's the smoothest way to update haskell platform to latest?	0.00
Do Scala objects survive activity restarts on Android?	0.00
Benchmark: BSON vs JSON	0.00
Haskell multiple statement efficiency	+0.29
How do I use Scala Hashmaps and Tuples together correctly?	0.00
HTTPS request with Boost.Asio and OpenSSL	0.00