StackRating

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

Andrej Bauer

Rating
1523.13 (26,475th) 		Reputation
2,029 (82,796th)
Page: 1
Title Δ
match Prop to Type without excluded middle 0.00
How do inductive proposition work in Coq? -2.00
Setting a image to a radio button - preventing garbage collector fr... 0.00
Creating an array that can hold a non-standard type +1.87
If return a = return b then does a=b? 0.00
F# pass by reference -3.99
Can data ord be replaced with only RealFloat in comparing numbers i... +3.29
ocaml formatters and value restriction +4.18
Type of functions that can pass themselves as parameters -3.18
What actually $ function does in haskell? +3.93
How can I keep polymorphism when using Array to implement Stack in... +4.72
What's the closest thing to Haskell's typeclasses in OCaml? +1.84
Binary Search Tree with size 7 and height 3 +4.11
How to pass the return type of a function to an exception in OCaml? -3.43
Kripke structure 0.00
Memoization in OCaml? -0.32
How to let OCaml function returns a tuple containing a string and a... 0.00
FIle download even when extension is not entered 0.00
Find maximal x^y smaller than number -2.46
Code generation for mathematical problems +1.92
haskell - finding pairs in a list -0.01
Interleave of two lists via recursive function (Ocaml) -2.36
How to use Yojson to parse a JSON file? +4.04
Algorithm to enumerate paths -0.16
A strange example of typing in Ocaml -0.57
Output language/format for toy compiler +1.45
Ocaml CSV to Float List +5.15
What is a good way to generate a infinite list of all integers in H... -3.84
How to get a value from a for loop in OCaml +4.16
Does the yin yang continuations puzzle make sense in a typed langua... +4.80