StackRating

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

copumpkin

Rating
1528.86 (19,559th) 		Reputation
2,270 (74,163rd)
Page: 1
Title Δ
Get PermissionsBoundary based on Roles 0.00
Imported datatype clashes with locally defined one, even when renamed +3.71
Idiomatic sbt custom incremental work criteria 0.00
What are structures with "subtraction" but no inverse? +3.75
Recursion Schemes in Agda 0.00
Agda: Equivalence relation for sub-colists +1.78
Testing equality between two heterogeneous values +1.53
Implicit length arguments in fixed-length-vector-functions in Agda 0.00
Are type family instance proofs possible? 0.00
Types containing with/rewrite clauses in agda, or, how to use rewri... 0.00
Numeral domains in Haskell -0.21
Algebraically interpreting polymorphism +2.57
How to make a type with restrictions +1.85
there's a way to sort a regular expressions list by specificity? -4.31
Total function of type (forall n . Maybe (f n)) -> Maybe (forall... +1.61
Monads as adjunctions +1.86
Is it possible to run a compiled program with Xcode on Mac OS X in... -4.02
Howto create combinations of several vectors without hardcoding loo... -3.34
What does OFFSET in 16 bit assembly code mean? +1.12
Hierarhical data and BerkeleyDB +4.11
How the Scala script that reads 5G log file from network drive shou... +2.24
C++ Newbie in Linker Hell +0.96
Should null == null be true when comparing objects? +1.49
why C, C++, Java does not use one complement? +3.92
terminal sudo command +4.12
Can I zip more than two lists together in Scala? +4.12