StackRating

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

Théo Winterhalter

Rating
1515.69 (42,780th) 		Reputation
1,060 (147,464th)
Page: 1 2
Title Δ
Just want choose some random elements of a list and return them in... 0.00
How can I make the find function in ocaml? +3.54
How should I initialize my list of tuples 0.00
How to increment the header in list 0.00
Conversion from different types 0.00
What is the difference between Notation and Definition from the poi... 0.00
Contradiction on natural number's zero test -4.12
Match any constructor +2.09
Transform `not A` into `A -> False` in Coq 0.00
Why is my search function always outputting true? 0.00
Logical Coq Proof related to map function 0.00
How to step through semicolons separated tactics sequence in coqide? 0.00
How to reason with complex pattern-matchings? 0.00
Coq simpl / unfold only once. (Replace part of goal with the result... -3.63
How can I prove equality of lists by induction? 0.00
How to use 'apply ... with' and 'apply ... in' toge... 0.00
ReasonML Signature Mismatch +4.91
How to pass arguments to functions that pass those arguments to oth... 0.00
Should an if statement be associated with else statement in ocaml? +4.12
Coq: Create a super-type of boolean and nat 0.00
What's the opposite(?) command of "econstructor" -3.51
Cocoa application menu bar not clickable 0.00
Reversing an int in OCaml -3.67
OCaml equivalent of javascript 'apply' +0.44
What is the workaround for OCaml: exception Invalid_argument("... 0.00
OCaml error in basic loop 0.00
Open OCaml module within class +0.84
Ocaml unbound type constructor with module 0.00
OCaml : Raise an error inside a match with structure -3.68
Extending int array functionality in OCaml +0.33
Run bash script from ocaml +0.75
Is it OK to work on a branch that was created by someone else? 0.00
OCaml |> operator -1.51
How to create a record type more than one polymorphic variables 0.00
Ocaml pattern matching/ member of function 0.00
Mock filesystem in ocaml -0.45
Check element in a list -3.97
How to access a value in type from a list 0.00
Iterating through a new type in Ocaml +0.17
Lambda Calculus beta reduction 0.00
Scala synchronized consumer producer -2.39
Scala blocking queue, making proper wait 0.00
two type user login system -0.83
Output xml with OCaml Format module -0.28
Knowing with PHP if the browser can play audio file with html5 audi... +1.12