StackRating

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

akoprowski

Rating
1514.85 (45,753rd) 		Reputation
2,665 (63,415th)
Page: 1 2
Title Δ
Recursive function definition in coq with limit on set of possible... 0.00
Map as a global variable in Ocaml +5.65
How to change a part of values in a record? -2.09
ocaml: type constructor equality +4.54
Is it possible to create a global variable in Opa? 0.00
Ocaml - string to (int*int*int) list -0.04
OCaml return values -1.53
Pattern matching not specialising types -1.75
ocaml This expression has type 'a list but is here used with type X... +3.90
What is the preferred way to structure and build OCaml projects? +1.06
Ocaml: calling recursive function again 0.00
How can I prevent "- : unit = ()" from appearing after my... +3.84
Evaluate all possible interpretations in OCaml +3.93
Proving f (f bool) = bool 0.00
How do I write ∀x ( P(x) and Q(x) ) in Coq? 0.00