StackRating

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

David Monniaux

Rating
1486.90 (4,455,334th) 		Reputation
1,042 (149,610th)
Page: 1
Title Δ
why my definition of a function that returns the pointer to another... -3.05
Stack alignment on x86 0.00
Simplifying integer formulas in Z3 0.00
It is possible to use LLVM Bytecode as Z3 input? -3.85
z3 fails with this system of equations -2.05
What should I do to let GC free the unused memory in OCaml? +4.31
Lisp-like (prefix) output for the Reduce/Redlog computer algebra sy... 0.00
Position of an element in a list (OCaml) -3.95
Understanding effects of produce-proofs, field names, and intermedi... 0.00
OCaml standard committee? +1.83
Expression matching Ocaml +2.43
Access at type under module 0.00
Series of let definitions -3.03
Unhandled Exception Error C Programming -3.50
Will it be efficient if I create graph datastructure/algorithms usi... +0.78
How can I create a union type for a tree, where it takes 'a type of... -3.03
How to present big_int? 0.00
OCaml: Is there a function with type 'a -> 'a other than the ide... 0.00
Why do some OCaml functions take () as a parameter? 0.00